logical_forms: (infer (friction lower world1) (heat higher world2) (heat higher world1)) (infer (friction lower world2) (heat higher world1) (heat higher world2))
logical_form_pretty: qrel(friction, lower, world1) -> qrel(heat, higher, world2) ; qrel(heat, higher, world1)
question: A train experiences less resistance riding through a small city then riding through big city. This means the train will heat up more riding through (A) big city (B) small city