All types (e.g., person) have the syntactic category TYPENP, and all entities (e.g., Figure 2: Deriving a logical form z (red) and a canonical utterance c (green) from the grammar G. Each node contains a syntactic category and a logical form, which is generated by applying a rule.
our compact grammar precisely specifies the logical functionality.