Task: Commonsense Classification
Input (English): Head: mathematician<sep>Tail: discover theorem
Output (English): Yes