logical_forms: (infer (speed lower world1) (smoothness lower world1) (smoothness higher world1)) (infer (speed lower world2) (smoothness lower world2) (smoothness higher world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(smoothness, lower, world1) ; qrel(smoothness, higher, world1)
question: The horse runs freely on the derby track and slower in the forest because the forest has (A) more obstacles (B) less obstacles