logical_forms: (infer (smoothness lower world1) (speed higher world1) (speed higher world2)) (infer (smoothness lower world2) (speed higher world2) (speed higher world1))
logical_form_pretty: qrel(smoothness, lower, world1) -> qrel(speed, higher, world1) ; qrel(speed, higher, world2)
question: Mary found out that jungle is rougher than tundra by driving her car in both areas. Her car moved faster over (A) jungle (B) tundra