logical_forms: (infer (and (heat high world1) (heat low world2)) (friction higher world1) (friction higher world2)) (infer (and (heat high world2) (heat low world1)) (friction higher world2) (friction higher world1))
logical_form_pretty: qval(heat, high, world1), qval(heat, low, world2) -> qrel(friction, higher, world1) ; qrel(friction, higher, world2)
question: Timmy's car showed smoke under the hood when he drove over the rough, dirt road and less then on asphalt. This is due to the higher resistance of the (A) dirt road (B) asphalt road?