logical_forms: (infer (heat higher world1) (distance higher world2) (distance higher world1)) (infer (heat higher world2) (distance higher world1) (distance higher world2))
logical_form_pretty: qrel(heat, higher, world1) -> qrel(distance, higher, world2) ; qrel(distance, higher, world1)
question: Casey's auger got a lot hotter when used in clay compared to when he used it in dirt. The augur traveled further in the (A) dirt (B) clay