np(S1,S2) :- det(S1,S3), adj(S3,S4), noun(S4,S2).
det([a|S],S).
noun([ball|S],S).
prep([at|S],S).
prep([into|S],S).