Task: Information Extraction
Input (English): See is a kind of verify
Output (English): see IsA verify