 Translating an ACE text into (a fragment of) first-order logic allows users to reason about the text, for instance to verify, to validate, and to query it.As an overview of the current version 6.6 of ACE this section