Task: Information Extraction
Input (English): drive is true then also ride is true
Output (English): drive Entails ride