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: A cucumber experiences more friction sliding across a garden then across a kitchen floor. Which surface gives the cucumber a bumpier ride? (A) garden (B) kitchen floor