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

 File: ourEng.pl

 Patrick Blackburn, 1999.
 Kristina Striegnitz, 2002.

 This file contains the specification of a simple CFG of
 a fragment of English.

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

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


%%% phrase structure rules

s     ---> [np, vp].
np    ---> [pn].
np    ---> [pn,rel].
np    ---> [det, nbar].
nbar  ---> [n].
nbar  ---> [n, rel].
rel   ---> [wh, vp].
vp    ---> [iv].
vp    ---> [tv, np].
vp    ---> [dv, np, pp].
vp    ---> [sv, s].
pp    ---> [p, np].


%%% lexical rules

lex(vincent,pn).
lex(mia,pn).
lex(marsellus,pn).
lex(jules,pn).
lex(a,det).
lex(the,det).
lex(her,det).
lex(his,det).
lex(gun,n).
lex(robber,n).
lex(man,n).
lex(woman,n).
lex(who,wh).
lex(that,wh).
lex(to,p).
lex(died,iv).
lex(fell,iv).
lex(loved,tv).
lex(shot,tv).
lex(knew,tv).
lex(gave,dv).
lex(handed,dv).
lex(knew,sv).
lex(believed,sv).
