 Though ACE appears perfectly natural – it can be read and understood by any speaker of English – it is in fact a formal language.ACE and its related tools have been used in the fields of software specifications, theorem proving, text summaries, ontologies, rules, querying, medical documentation and planning.Here are some simple examples