Task: Information Extraction
Input (English): lie is true then also lie_down is true
Output (English): lie Entails lie_down