Task: Information Extraction
Input (English): push is true then also move is true
Output (English): push Entails move