logical_forms: (infer (speed lower world1) (heat lower world2) (heat lower world1)) (infer (speed lower world2) (heat lower world1) (heat lower world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(heat, lower, world2) ; qrel(heat, lower, world1)
question: Mary slid some butter across a frying pan and also across her fridge. She noticed the butter slid slower in the fridge then across the frying pan. This means more heat was being generated when she slid the butter across (A) frying pan (B) fridge