logical_forms: (infer (distance higher world1) (smoothness lower world1) (smoothness lower world2)) (infer (distance higher world2) (smoothness lower world2) (smoothness lower world1))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(smoothness, lower, world1) ; qrel(smoothness, lower, world2)
question: Kathy found that she can push her ice pick further into a snow pack than into an ice block. She then determined that the _____ was rougher (A) snow pack (B) ice block