logical_forms: (infer (smoothness higher world1) (heat higher world1) (heat higher world2)) (infer (smoothness higher world2) (heat higher world2) (heat higher world1))
logical_form_pretty: qrel(smoothness, higher, world1) -> qrel(heat, higher, world1) ; qrel(heat, higher, world2)
question: Ryan likes to skate. He's noticed that he can skate much better on a wood floor compared inside his house vs. the concrete outside because the wood is smoother. The concrete is very rough and he can even see small bits of rock sticking out of it. Which surface would Ryan probably find his skate's wheels being hotter (A) wood floor or (B) concrete