% file:  grammar-c.p
%        recognizer for X-bar verb phrases
%        - elimination of left recursion
%        - functionality of entities denoted by attributes

% ---------- base productions ----------

sentence --> np(nom), vp, ['.'].
sentence --> [].

% np --> def_article, adj_list, noun.
np(nom) --> [she].
np(obj) --> [the], [space], [shuttle].

vp --> vbar.


% elimination of left-recursion
% vbar --> verb, vcomp.
% vbar --> vbar, vcomp.
vbar --> verb, vcomp.
vbar --> verb, vcomp, lvbar.

lvbar --> vcomp.
lvbar --> vcomp, lvbar.

vcomp --> np(obj).
vcomp --> pp.
vcomp --> [].

pp --> [at], [the], [airfield].
pp --> [on], [a], [friday].

verb --> [landed].