logical_forms: (infer (friction higher world1) (smoothness higher world2) (smoothness higher world1)) (infer (friction higher world2) (smoothness higher world1) (smoothness higher world2))
logical_form_pretty: qrel(friction, higher, world1) -> qrel(smoothness, higher, world2) ; qrel(smoothness, higher, world1)
question: Joe is cleaning his car. He rubs the windshield with the towel first. When he wipes down the tire with the towel he has to use more force to push the towel. That is because the _____ is more smooth. (A) windshield (B) tire