ARSENAL: Automatic Requirements Specification Extraction from Natural Language
WORDNET: A Lexical Database For English