logical_forms: (infer (speed higher world1) (smoothness higher world1) (smoothness lower world1)) (infer (speed higher world2) (smoothness higher world2) (smoothness lower world2))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(smoothness, higher, world1) ; qrel(smoothness, lower, world1)
question: Joe went sledding and found that using the other sledders paths, he could go much faster This is because the path was _____ than the untouched snow? (A) smoother (B) rougher