:- s([dog,the,man,the,walks],[]).
