% Regras sintagmáticas

s(s(SN, SV)) --> sn(SN), sv(SV).

sn(sn(Det, N)) --> det(Det), n(c, N).
sn(sn(N)) --> n(p, N).

sv(sv(V, SN)) --> v(td, V), sn(SN).
sv(sv(V)) --> v(i, V).

% Itens lexicais

det(det(todo)) --> [todo].
det(det(um)) --> [um].

n(c, n(buraco)) --> [buraco].
n(c, n(menino)) --> [menino].
n(p, np(pedro)) --> [pedro].

v(i, vi(dormiu)) --> [dormiu].
v(td, vtd(saltou)) --> [saltou].