nltk.sem.Expression.variables¶

Expression.variables()[source]¶

Return a set of all the variables for binding substitution. The variables returned include all free (non-bound) individual variables and any variable starting with ‘?’ or ‘@’. :return: set of Variable objects