logical_forms: (infer (and (friction high world1) (friction low world2)) (speed lower world1) (speed lower world2)) (infer (and (friction high world2) (friction low world1)) (speed lower world2) (speed lower world1))
logical_form_pretty: qval(friction, high, world1), qval(friction, low, world2) -> qrel(speed, lower, world1) ; qrel(speed, lower, world2)
question: A jetliner has high resistance moving through cloudy air and low resistance moving through thin air. The jetliner moves slower through (A) cloudy air (B) thin air