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