logical_forms: (infer (and (distance high world1) (distance low world2)) (friction higher world1) (friction lower world1)) (infer (and (distance high world2) (distance low world1)) (friction higher world2) (friction lower world2))
logical_form_pretty: qval(distance, high, world1), qval(distance, low, world2) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Sarah rolls a basketball over a wood floor and watches it roll fifteen feet. She rolls the basketball over the carpeting and the ball only rolls four feet. The wood floor has (A) more friction (B) less friction.