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: Milo has always known that a table offers less friction than a carpet. When he slides his ice cube across both surface one makes the ice cube melt more than the other. Is it (A) carpet or (B) table