The mitre syntactic analysis procedure for transformational grammars | Synapse