logical_forms: (infer (and (speed low world1) (speed high world2)) (friction higher world2) (friction lower world2)) (infer (and (speed low world2) (speed high world1)) (friction higher world1) (friction lower world1))
logical_form_pretty: qval(speed, low, world1), qval(speed, high, world2) -> qrel(friction, higher, world2) ; qrel(friction, lower, world2)
question: Dane takes his bike to the park. He rides his bike down a yellow lane and moves very easily. When he rides down the red lane, his bike slows down. The yellow lane was faster because the yellow lane had (A) more friction (B) less friction