Task: Information Extraction
Input (English): pencil is true then also trace is true
Output (English): pencil Entails trace