ch6_latin.dtr

This is the same theory as that of chapter 5 except that additional lexical entries have been added that express regularized deponents, activizations and pasivations. They are represented as lexical entries inheriting from the full deponent counterpart but overriding deponent facts. The theory also allows generation of theorems which constitute a lexeme's virtual paradigm, in the case of deponents. *Use Monaco 10 point font*.