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