logical_forms: (infer (distance higher world1) (heat higher world2) (heat higher world1)) (infer (distance higher world2) (heat higher world1) (heat higher world2))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(heat, higher, world2) ; qrel(heat, higher, world1)
question: Sam's dog sled can move a greater distance over flat ground than over a trail. Sam has decided that his dog sled will get hotter travelling over a (A) trail (B) flat ground