Evaluated Languages

E2V

... 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.