% grammar
s(S)   --> np(NP), vp(VP), {reduce(NP,VP,S)}.
vp(V) --> v(V).

% lexicon
v(X^walk(X))          --> [walks].
np(Q^all(X,man(X),P)) --> [every,man], {reduce(Q,X,P)}.

% for beta reductionreduce(X^F,X,F).
