What is understanding of natural language and how can we test or measure it?
Natural language understanding systems can be based on discourse representation theories, which represent the meaning of English sentences as first-order logical predicates. Attempto Controlled English is one example of a natural language understanding system that relies on discourse representation theories.

Similarly, there are several implementations of semantic parsers that convert natural-language texts into formal representations of their meanings.