Method fromstring

nltk/sem/drt.py:197–198

(cls, s)

    @classmethod
    def fromstring(cls, s):
        return cls._drt_parser.parse(s)

    def applyto(self, other):
        return DrtApplicationExpression(self, other)