logical_forms: (infer (speed higher world1) (friction higher world1) (friction lower world1)) (infer (speed higher world2) (friction higher world2) (friction lower world2))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Jane bikes down a pebbled street then turns off onto a smooth path. Jane realizes that she can go much faster with less effort on the smooth path. This is because the path has (A) more friction (B) less friction.