logical_forms: (infer (and (smoothness low world1) (smoothness high world2)) (friction lower world1) (friction lower world2)) (infer (and (smoothness low world2) (smoothness high world1)) (friction lower world2) (friction lower world1))
logical_form_pretty: qval(smoothness, low, world1), qval(smoothness, high, world2) -> qrel(friction, lower, world1) ; qrel(friction, lower, world2)
question: Joey builds two model cars. The red car has wheels with lots of bumps in them. while the blue care has wheels with no bumps in them. If he runs these cars on the same track the car with less friction will be (A) red car (B) blue car.