/****************************************************************

 File: simplifiedEng.pl

 Patrick Blackburn, 1999.
 Kristina Striegnitz, 2002.
 Stephan Walter, 2003.

Simplified version of ourEng.pl
Used as a backbone for semantic construction in the exercises of the
chapter on that topic

 You need a parser/recognizer that declares the following 
 operator:

 :- op(700,xfx,--->).
****************************************************************/


%%% phrase structure rules

s     ---> [np, vp].
np    ---> [pn].
np    ---> [det, nbar].
nbar  ---> [n].
vp    ---> [iv].
vp    ---> [tv, np].



%%% lexical rules

lex(vincent,pn).
lex(mia,pn).
lex(marsellus,pn).
lex(jules,pn).
lex(a,det).
lex(the,det).
lex(gun,n).
lex(robber,n).
lex(man,n).
lex(woman,n).
lex(died,iv).
lex(fell,iv).
lex(loved,tv).
lex(shot,tv).
lex(knew,tv).

