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: Terry takes his bicycle for a ride, first slowly riding through the grass field, then speeding down the paved street. The paved street was faster for bicycle riding because it had (A) more resistance (B) less resistance.