% Multifile declarations.
:- multifile if/2.

% load phonology and tree output
:- [trale_home(tree_extensions)].

% specify signature file
signature(signature).

phon <<< synsem.
synsem <<< dtrs.

pepa ~~> synsem:(noun,case:nom).
pase ~~> synsem:verb.
kozu ~~> synsem:(noun,case:acc).

n_vp ## 
    (phrase,synsem:s,dtrs:[Subj,Head])
===>
    cat> (Subj,synsem:(noun,case:nom)),
    cat> (Head,synsem:vp).
    
v_n ##
    (phrase,synsem:vp,dtrs:[Head,Obj])
===>
    cat> (Head,synsem:verb),
    cat> (Obj,synsem:(noun,case:acc)).