% Lab 6: Setting up sentences with grammar checks

se(sentence(NP, VP)) --> ne(NP), ve(VP).
ne(nphrase(D,N)) --> dr(D), nn(N).
ve(vphrase(V)) --> vb(V).
ve(vphrase(V,NP)) --> vb(V), ne(NP).

% Determiners
dr(det(the)) --> [the].

% Nouns
nn(noun(apple)) --> [apples].
nn(noun(man)) --> [man].

% Verbs
vb(verb(eats)) --> [eats].