nltk.sem.DRS.__init__

DRS.__init__(refs, conds, consequent=None)[source]
Parameters:refs – list of DrtIndividualVariableExpression for the

discourse referents :param conds: list of Expression for the conditions