... goal(whentype(sign,X,(farg(synsem,X,SynVal),whentype(synsem,SynVal,(farg(loc,SynVal,LocVal),whentype(local,LocVal,(farg(cat,LocVal,CatVal),whentype(category,CatVal,(farg(head,CatVal,HdVal),whentype(verb,HdVal,whentype(category,CatVal,(farg(marking,CatVal,MkVal),whentype(fin,MkVal,(X=synsem:loc:cat:head:vform:bse)))))))))))))).(5) ... the leastappropriate type of any SYNSEM value, local is theleast appropriate type of any LOC value, and cate-gory is the least appropriate type of any CAT value.3.4 Primitive delay statementsThe ... thirdas many phrase structure rules with daughter cate-gories that are an average of 32% larger, and manymore constraints. Because of these differences, thisversion of MERGE runs on average about...