Hi everyone,<br><br>Can you please let me know if there is any decidable subset of ACE has been identified?<br><br>Cheers,<br><br>Huan<br>