s(S1,S2) :- np(S1,S3), vp(S3,S4), np(S4,S5), prep(S5,S6),np(S6,S2).
verb([walks|S],S).
prep([to|S],S).
prep([in|S],S).
prep([into|S],S).