Paper: Functor-Driven Natural Language Generation With Categorial-Unification Grammars

ACL ID C90-2025
Title Functor-Driven Natural Language Generation With Categorial-Unification Grammars
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1990
Authors

When (4) is combined with the translation for every student, the desired reduced formula in (5) is obtained. (4:) Aa[fail'(a:)V goLa_D'(z)] (5) Vm[student'(z) .... [failed'(ac) v got,_~LD'(~;)]l The use of conjoined type-raised predicates as in (6), however, would incorrectly yield the formula in (7), which is appropriate for (3) but not for (2). (6) v p(Az.goLa_D'(z)) (7) V [stud nt,'( ) -, V V0-[student'( ) --+ got,_a_D'(z)] On the other hand, Partee and Rooth point' out that for the interprc't,ation of senttences such as (8): intransitive verbs do ha.ve to be Wpe-raised, since (9) is a paraphrase of (8). (8) A tropical storm was expected to form off t.lle coast of Florida and did form there within a few days of the forecast. (9) A tropical st'orm was expected to form off the cc, ast of ...