The result, which we call Inheritance G r a m m a r , is a proper superset of DCG and includes many features of PATR-II. Its taxonomic reasoning facilitates semantic type-class represent lexical, syntactic and semantic categories and other feature values. In many formalisms (. DCG and PATR-II), equality is the only operation for symbols; in IG symbols are related in an IS-A hierarchy.