Skill/Recognizing and producing logically equivalent sentences