logical_forms: (infer (and (friction low world1) (friction high world2)) (smoothness higher world2) (smoothness higher world1)) (infer (and (friction low world2) (friction high world1)) (smoothness higher world1) (smoothness higher world2))
logical_form_pretty: qval(friction, low, world1), qval(friction, high, world2) -> qrel(smoothness, higher, world2) ; qrel(smoothness, higher, world1)
question: A spring rolling along a bed experiences very low friction, while one rolling along the floor experiences high friction. Which surface is less rough? (A) floor (B) bed