nltk.sem.Assignment.keys

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