Task: Information Extraction
Input (English): beat is true then also win is true
Output (English): beat Entails win