Task: Information Extraction
Input (English): sit is true then also sit_down is true
Output (English): sit Entails sit_down