 Attempto Controlled English

Attempto Controlled English (ACE) is a controlled natural language, i.e.a subset of standard English with a restricted syntax and restricted semantics described by a small set of construction and interpretation rules.