nltk.sem.Valuation.keys

Valuation.keys() → list of D's keys