... goal(farg(synsem,X,SynVal),farg(loc,SynVal,LocVal),farg(cat,LocVal,CatVal),farg(head,CatVal,HdVal),whentype(verb,HdVal,(farg(marking,CatVal,MkVal),whentype(fin,MkVal,(X=synsem:loc:cat:head:vform:bse))))).(6) ... It also has far fewer types, more fea-ture values, a heavy reliance on lists, about a thirdas many phrase structure rules with daughter cate-gories that are an average of 32% larger, and manymore ... is that types are equivalent to relations, which is to say that a relation can me-diate communication between modules through itsarguments, just as a parametric type can through itsparameters....