:- use_rendering(svgtree, [list(false)]).

% Règles non terminales
s(s(X,Y)) --> gn(X), gv(Y).
gn(X) --> np(X).
gn(gn(X,Y)) --> det(X), nc(Y).
gv(gv(X,Y)) --> v(X), gn(Y).

% Règles terminales
np(np(jean)) --> [jean].
det(det(de)) --> [de].
nc(nc(philosophie)) --> [philosophie].
nc(nc(politique)) --> [politique].
v(v(discute)) --> [discute].

% Requête
phrase(s(Tree), [jean, discute, de, politique]).