logical_forms: (infer (and (heat high world1) (heat low world2)) (friction higher world2) (friction lower world2)) (infer (and (heat high world2) (heat low world1)) (friction higher world1) (friction lower world1))
logical_form_pretty: qval(heat, high, world1), qval(heat, low, world2) -> qrel(friction, higher, world2) ; qrel(friction, lower, world2)
question: Tony drives his car down a dirt road and his car gets very warm. Tony drives the same car down a paved road and the car stays cool. The car stays cool on the paved road because it has (A) more friction (B) less friction.