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