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