logical_forms: (infer (smoothness higher world1) (smoothness higher world1) (smoothness higher world2)) (infer (smoothness higher world2) (smoothness higher world2) (smoothness higher world1))
logical_form_pretty: qrel(smoothness, higher, world1) -> qrel(smoothness, higher, world1) ; qrel(smoothness, higher, world2)
question: A hockey puck slides a lot longer on a frozen lake then on a slushy lake. This means the surface of the _____ is smoother (A) frozen lake (B) slushy lake