Logic-based processing of semantically complex natural language discourse

A logic-based system of knowledge representation for natural language discourse has three primary advantages:

–	• It has adequate expressive power,
–	• it has a well-defined semantics, and
–	• it uses simple, sound, general rules of inference.

On the other hand, a standard logic-based system has the following disadvantages:

–	• It supports only an exceedingly complex mapping from surface discourse sentences to internal representations, and
–	• reasoning about the content of semantically complex discourses is difficult because of the incommodious complexity of the internalized formulas.