% file: subcat3
% queries: s([john,laughs],[])?, s([john,loves,mary],[])?
% s([john,gives,mary,flowers],[])?

dcg!
s --> np, vp.
np --> noun.
vp --> vp(S).
vp([]) --> v([]).
vp([np]) --> v([np]), np.
vp([np,np]) --> v([np,np]), np, np.
det --> [the].
noun --> [john].
noun --> [mary].
noun --> [flowers].
v([]) --> [laughs].
v([np]) --> [loves].
v([np,np]) --> [gives].
