nltk.sem.Model.satisfy ====================== .. currentmodule:: nltk.sem .. automethod:: Model.satisfy