logical_forms: (infer (and (heat high world1) (heat low world2)) (friction higher world2) (friction higher world1)) (infer (and (heat high world2) (heat low world1)) (friction higher world1) (friction higher world2))
logical_form_pretty: qval(heat, high, world1), qval(heat, low, world2) -> qrel(friction, higher, world2) ; qrel(friction, higher, world1)
question: Abe slides his foot across a rubber mat and realizes the bottom of his foot gets warm. He tries the same thing with his foot over the carpet and it's not as warm. This is because there is more resistance on the (A) carpet. (B) rubber mat