Evaluated Languages

Formalized English

... an English-oriented notation for first-order logic with contexts (meta-statements) and sets. It is therefore ... probably the most expressive and ugliest [controlled language] .... Represents natural language sentences and knowledge ... in general ....