Task: Information Extraction
Input (English): leave_behind is true then also leave is true
Output (English): leave_behind Entails leave