logical_forms: (infer (friction higher world1) (smoothness higher world1) (smoothness higher world2)) (infer (friction higher world2) (smoothness higher world2) (smoothness higher world1))
logical_form_pretty: qrel(friction, higher, world1) -> qrel(smoothness, higher, world1) ; qrel(smoothness, higher, world2)
question: John's used his caboose to determine that a steep hill has more resistance than flat ground. This means that _____ is smoother (A) steep hill (B) flat ground