Task: Information Extraction
Input (English): dance is true then also step is true
Output (English): dance Entails step