Class DomainTheoryGrammar