logical_forms: (infer (and (distance low world1) (distance high world2)) (friction higher world2) (friction lower world2)) (infer (and (distance low world2) (distance high world1)) (friction higher world1) (friction lower world1))
logical_form_pretty: qval(distance, low, world1), qval(distance, high, world2) -> qrel(friction, higher, world2) ; qrel(friction, lower, world2)
question: A toy car is pushed on gravel and doesn't move very far. The same toy car is pushed on grass and moves much further. The grass has (A) more friction (B) less friction.