Task: Information Extraction
Input (English): buy is true then also pay is true
Output (English): buy Entails pay