% Adapted from Covington p.421

s(String) :- concat_atom(Words, ' ', String), sentence(Words,[]).

sentence --> article, noun, verb.

article --> [a]; [the].

noun --> [dog]; [cat]; [girl]; [boy].

verb --> [ran]; [talked]; [slept].

%verb([Verb|Left], Left) :- member(Verb, [ran,talked,slept]).

