np(S1,S2) :- det(S1,S3), noun(S3,S2).
adj([big|S],S).
adj([small|S],S).
adj([nasty|S],S).
noun([man|S],S).
verb([takes|S],S).
verb([hits|S],S).
prep([into|S],S).