logical_forms: (infer (and (speed high world1) (speed low world2)) (friction lower world2) (friction higher world2)) (infer (and (speed high world2) (speed low world1)) (friction lower world1) (friction higher world1))
logical_form_pretty: qval(speed, high, world1), qval(speed, low, world2) -> qrel(friction, lower, world2) ; qrel(friction, higher, world2)
question: The spare tire rolled steadily along the pit road until it reached the infield grass where it slowed to a stop. This happened because the infield grass had (A) less friction (B) more friction.