logical_forms: (infer (heat higher world1) (smoothness higher world1) (smoothness higher world2)) (infer (heat higher world2) (smoothness higher world2) (smoothness higher world1))
logical_form_pretty: qrel(heat, higher, world1) -> qrel(smoothness, higher, world1) ; qrel(smoothness, higher, world2)
question: A sleigh creates less heat moving over snow compared to ice. This means that the _____ is less rough (A) snow (B) ice