Generating directly from the grammar in Table 2 would result in many uninterpretable canonical utterances.
we perform type checking on the logical forms to rule out "article that cites 2004", and limit the amount of recursion, which keeps the canonical utterances understandable.