def visit(self, function, combinator):
        parts = list(map(function, self.conds))
        if self.consequent:
            parts.append(function(self.consequent))
        return combinator(parts)
:see: Expression.visit()
dataset/ETHPy150Open nltk/nltk/nltk/sem/drt.py/DRS.visit