logical_forms: (infer (speed higher world1) (friction lower world1) (friction higher world1)) (infer (speed higher world2) (friction lower world2) (friction higher world2))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(friction, lower, world1) ; qrel(friction, higher, world1)
question: A batted baseball travels faster on a smooth infield than on a rough outfield because the infield has (A) less friction (B) more friction