Task: Information Extraction
Input (English): pierce is true then also cut is true
Output (English): pierce Entails cut