Task: Commonsense Classification
Input (English): Head: formula<sep>Tail: subformula
Output (English): Yes