logical_forms: (infer (friction lower world1) (speed lower world1) (speed lower world2)) (infer (friction lower world2) (speed lower world2) (speed lower world1))
logical_form_pretty: qrel(friction, lower, world1) -> qrel(speed, lower, world1) ; qrel(speed, lower, world2)
question: A taxi encounters less friction when driving in a small city then when driving in a big city. This means the taxi can drive faster in the (A) small city (B) big city