nltk.sem.Expression.simplify

Expression.simplify()[source]
Returns:beta-converted version of this expression