... 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 ... 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...