Task: Information Extraction
Input (English): rack is true then also stretch is true
Output (English): rack Entails stretch