Task: Information Extraction
Input (English): plow is true then also dig is true
Output (English): plow Entails dig