BindingDict objects in gluesemantics.doctest cannot be sorted, so test for equality instead; ability to initialize a BindingDict using a dict
python compatibility bugs in nltk.inference
raise TypeErrors on invalid comparisons in nltk.sem.logic
duck typing is not appropriate for VariableBinderExpression
expression simplification in nltk.sem.logic
server url option in downloader's command line arguments