vp(S1,S2) :- verb(S1,S3), prep(S3,S2).
det([the|S],S).
adj([big|S],S).
noun([dog|S],S).
noun([house|S],S).
verb([takes|S],S).
prep([on|S],S).
prep([into|S],S).