Demo: computational semantics in NLTK