logical_forms: (infer (distance higher world1) (heat lower world1) (heat lower world2)) (infer (distance higher world2) (heat lower world2) (heat lower world1))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(heat, lower, world1) ; qrel(heat, lower, world2)
question: A cherry rolling down a slope can roll a greater distance then one rolling on flat ground. The cherry will heat up less on (A) slope (B) flat ground