logical_forms: (infer (smoothness higher world1) (friction lower world1) (friction lower world2)) (infer (smoothness higher world2) (friction lower world2) (friction lower world1))
logical_form_pretty: qrel(smoothness, higher, world1) -> qrel(friction, lower, world1) ; qrel(friction, lower, world2)
question: Tim is trying out a new skate park. The skate park has smooth ramps and he likes it much better than the cracked parking lot that he used to skate on. There will be less resistance on the (A) new skate park (B) old parking lot.