... princi-ples of grammar and proof procedures such asSLD resolution, parsing or generation can add de-terministic information that may result in an earlyfailure or a deterministicset of constraintsthat ... case where. Although themaximum subtype and supertype branching fac-tors in this family increase linearly with size, thepartial orders can growin depthinstead in order tocontain this.That ... typesrather than by enumerating them. For exam-ple, in Figure 6, mainverb has one such prod-uct, AUX INV , and aux verb has two,AUX INV , and AUX INV . verb,on the other hand, has all four...