Evaluated Lgs |
Evaluated LanguagesE2V... a fragment of English coinciding ... with the two-variable fragment of first-order logic. Its key grammatical resources include determiners, relative clauses, reflexives and pronouns. ... of direct relevance to the development of practically useful controlled languages. |