Task: Information Extraction
Input (English): overflow is true then also run is true
Output (English): overflow Entails run