logical_forms: (infer (friction higher world1) (smoothness lower world1) (smoothness lower world2)) (infer (friction higher world2) (smoothness lower world2) (smoothness lower world1))
logical_form_pretty: qrel(friction, higher, world1) -> qrel(smoothness, lower, world1) ; qrel(smoothness, lower, world2)
question: Steve is waiting at the gym for his brother's basketball practice to end. He starts hitting around a hockey puck with his stick. The gym has a carpeted floor and more friction than the ice rink he goes to. Which surface is rougher? (A) carpet (B) ice rink