logical_forms: (infer (speed higher world1) (friction higher world1) (friction higher world2)) (infer (speed higher world2) (friction higher world2) (friction higher world1))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(friction, higher, world1) ; qrel(friction, higher, world2)
question: William is ice skating and notices that his ice skates glides quicker on wet ice as opposed to freshly fallen snow. The reason for this is because there is more friction on the (A) wet ice (B) freshly fallen snow