Task: Word Semantics
Input (English): proved
Output (English): unproved