logical_forms: (infer (distance higher world1) (friction higher world1) (friction higher world2)) (infer (distance higher world2) (friction higher world2) (friction higher world1))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(friction, higher, world1) ; qrel(friction, higher, world2)
question: Tommy was playing with a hockey puck. He noticed that when he slid it on a marble floor, it went further than when he tried to slide across his mattress. He figured out that there was more resistance to the puck on (A) the marble floor (B) the mattress.