Paper: Type-Raising And Directionality In Combinatory Grammar

ACL ID P91-1010
Title Type-Raising And Directionality In Combinatory Grammar
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1991

The form of rules in ¬Ęombinatory categorial grammars (CCG) is constrained by three principles, called "adja- cency", "consistency" and "inheritance". These principles have been claimed elsewhere to constrain the combinatory rules of composition and type raising in such a way as to make certain linguistic universals concerning word order under coordination follow immediately. The present paper shows that the three principles have a natural expression in a unification-based interpretation of CCG in which di- rectional information is an attribute of the arguments of functions grounded in string position. The universals can thereby be derived as consequences of elementary assump- tions. Some desirable results for grammars and parsers fol- low, concerning type-raising rules. PRELIMINARIES In C...