nltk.sem.DRS.simplify

DRS.simplify()
Returns:beta-converted version of this expression