def predicates(self):
        return self.visit(lambda e: e.predicates(),
                          lambda parts: reduce(operator.or_, parts, set()))
Return a set of predicates (constants, not variables).
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/Expression.predicates