Task: Information Extraction
Input (English): live is true then also exist is true
Output (English): live Entails exist