Notes on computational linguistics.pdf - UCLA Department of ...

Stabler - Lx 185/209 2003
We will want to move to a recognizer that allows these, but notice that TD does allow the following
restricted case of coordination: 15
dp(_,p,K) :˜ [dp(_,s,K), coord(dp(_,_,K))].
coord(Cat) :˜ [and,Cat].
(6) With the simple grammar above (including the non-left-recursive coord rules), we have the following
session:
| ?- [td,g3].
td compiled, 0.00 sec, 1,116 bytes.
g3 compiled, 0.01 sec, 5,636 bytes.
| ?- [they,sing] ?˜ [ip].
yes
| ?- [them,sing] ?˜ [ip].
no
| ?- [they,praise,titus] ?˜ [ip].
yes
| ?- [they,sing,titus] ?˜ [ip].
yes
| ?- [he,sing,titus] ?˜ [ip].
no
| ?- [he,sings,titus] ?˜ [ip].
yes
| ?- [he,praises,titus] ?˜ [ip].
yes
| ?- [he,praises] ?˜ [ip].
no
| ?- [he,laughs] ?˜ [ip].
yes
| ?- [he,laughs,titus] ?˜ [ip].
no
| ?- [few,penguins,sing] ?˜ [ip].
yes
| ?- [few,penguins,sings] ?˜ [ip].
no
| ?- [some,penguin,sings] ?˜ [ip].
yes
| ?- [you,and,’I’,sing] ?˜ [ip].
yes
| ?- [titus,and,tamora,and,lavinia,sing] ?˜ [ip].
yes
15We are here ignoring the fact that, for most speakers, the coordinate structure Tamora or Lavinia is singular. We are also ignoring
the complex interactions between determiner and noun agreement that we see in examples like this:
a. Every cat and dog is/*are fat
b. All cat and dog *is/*are fat
c. The cat and dog *is/are fat
43