% defining grammar rule operator
:- op(1200,xfx,'--->').

% lexicon:
lex(vp,left).
lex(det,the).
lex(n,man).
lex(np,he).

% syntactic rules:
s  ---> [np, vp]. 
np ---> [det, n].
