def variables(self):
        return self.free() | set(p for p in self.predicates()|self.constants()
                                 if re.match('^[?@]', p.name))
Return a set of all the variables for binding substitution.
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/Expression.variables