':param refs: list of ``DrtIndividualVariableExpression`` for the
discourse referents
:param conds: list of ``Expression`` for the conditions'

def __init__(self, refs, conds, consequent=None):

    self.refs = refs
    self.conds = conds
    self.consequent = consequent
