logical_forms: (infer (and (speed high world1) (speed low world2)) (friction higher world2) (friction lower world2)) (infer (and (speed high world2) (speed low world1)) (friction higher world1) (friction lower world1))
logical_form_pretty: qval(speed, high, world1), qval(speed, low, world2) -> qrel(friction, higher, world2) ; qrel(friction, lower, world2)
question: Donna rides her bike on orange street and can go very quickly. When Donna rides her bike on blue street, she goes very slowly. When Donna is on blue street, her bike has (A) greater resistance (B) less resistance.