logical_forms: (infer (and (heat high world1) (heat low world2)) (speed lower world2) (speed lower world1)) (infer (and (heat high world2) (heat low world1)) (speed lower world1) (speed lower world2))
logical_form_pretty: qval(heat, high, world1), qval(heat, low, world2) -> qrel(speed, lower, world2) ; qrel(speed, lower, world1)
question: Kyle is meeting his friends at a dirt track. As he drives on the road, there are no problems, but when he gets to the dirt, the car starts to heat up. Kyle is able to drive the car faster on the (A) dirt. (B) road