Type-Logical Grammar Theorem Prover
Input:
Select:
Sandy ran
Sandy likes Terry
the kid ran
Sandy likes the picture of Terry
the kid in Pittsburgh
the kid outside
the smart kid in Pittsburgh
the kid ran outside
the kid ran in Pittsburgh
Sandy likes the kid in Pittsburgh
Sandy gave Terry the paper
Sandy gave the paper to Terry
Sandy talked about Kim
Sandy talked about Kim to Terry
Sandy talked to Terry about Kim
Sandy believes Terry ran
Sandy ran and Terry jumped
Sandy ran and jumped
in or on the box
Sandy [np\s] and Terry [np\s] ran
the [np/n] vegetarian and [np/n] socialist ran
the [np/n] vegetarian [np\s] and [np/n] socialist [np\s]
big red [n]
the der(big red [n]) and der(small white [n]) box
[np\s] in Pittsburgh yesterday
Sandy ran der([np\s] in Pittsburgh yesterday) and der([np\s] in Cleveland today)
kid who likes Terry
kid who Terry likes [np]
kid who Terry liked [np] yesterday
kid who der(Terry likes [np]) but der(Sandy dislikes [np])
who Sandy likes [np]
everyone likes Sandy
Sandy likes everyone
someone likes everyone
some kid ran
someone likes every paper
[np] liked [np]
red [n/np] [np]
Output Style:
Prawitz
Fitch
Text
Target Category:
Any
Finite S
Noun Phrase
Expand Meanings:
No
Yes