Task: Information Extraction
Input (English): lace is true then also fasten is true
Output (English): lace Entails fasten