logical_forms: (infer (smoothness lower world1) (friction higher world2) (friction higher world1)) (infer (smoothness lower world2) (friction higher world1) (friction higher world2))
logical_form_pretty: qrel(smoothness, lower, world1) -> qrel(friction, higher, world2) ; qrel(friction, higher, world1)
question: Rebecca rolls a grape across a wooden table and across a hay bale. The hay bale is rougher than the wooden table. The surface with the most resistance is (A) wooden table (B) hay bale