W91-0207 systems have been built using term subsumption languages ( TSLs ) . TSLs are
W91-0207 formalism has to be combined with the term subsumption formalism . The FUNCTION relation
W91-0207 intelligence , in particular of term subsumption languages for these issues .
J00-4003 gender , person , and number plus a term subsumption hierarchy ) , discourse focus
E91-1007 handle more general disjunction and term subsumption ( Smolka , 1988 ) . Such an optimized
hide detail