% dcg_ana.pl
% Luiz Arthur Pagani
% arthur@ufpr.br

:- op(500, xfx, @).

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

sn(Det@N) --> det(Det),
              n(N).

sv(V@SN) --> v(V),
             sn(SN).

det('Def') --> [a].
det('Def') --> [o].

n('H') --> [homem].
n('M') --> [mulher].

v('V') --> [viu].