logical_forms: (infer (and (smoothness high world1) (smoothness low world2)) (friction lower world1) (friction lower world2)) (infer (and (smoothness high world2) (smoothness low world1)) (friction lower world2) (friction lower world1))
logical_form_pretty: qval(smoothness, high, world1), qval(smoothness, low, world2) -> qrel(friction, lower, world1) ; qrel(friction, lower, world2)
question: Sam is skating outside. He glides across the dirt with no problem, but falls when he skates on gravel. Which ground has less friction? (A) dirt (B) gravel