/**********************************************************

unifyexamples.pl

Here are some examples to test the predicates unify/2 and
val/4 of file unify.pl.

**********************************************************/

unify([cat:vp|X],[number:sing|Y]).

unify([cat:vp|Y],[cat:vp|X]).

unify([cat:vp|Y],[cat:np|Y]).

unify([cat:np|Y],[agree:[number:sing|Z]|W]).

unify([cat:np|Y],[cat:np,agree:[number:sing|Z]|W]).

unify([subj:[agree:[number:sing,person:third|H]|Y]|K],
     [agree:[number:sing|Z]|W]).

unify([subj:[agree:[number:sing,person:third|H]|Y]|K],
     [subj:[agree:[case:dative,person:third|H1]|Y1]|K1]).

unify([subj:[agree:[number:sing,person:third|H]|Y]|K],
     [subj:[agree:[case:dative,person:second|H1]|Y1]|K1]).


unify([],[agree:[number:sing|Z]|W]).

unify([agree:[number:sing|Z]|W],[]).



val(number,Value,[cat:vp,number:sing|X],_).

val(number,Value,[cat:vp,number:sing|X],Y).

val(tense,present,[cat:vp,number:sing|X],Y).