logical_forms: (infer (and (smoothness high world1) (smoothness low world2)) (friction higher world1) (friction higher world2)) (infer (and (smoothness high world2) (smoothness low world1)) (friction higher world2) (friction higher world1))
logical_form_pretty: qval(smoothness, high, world1), qval(smoothness, low, world2) -> qrel(friction, higher, world1) ; qrel(friction, higher, world2)
question: Tanya is practicing riding her unicycle. She starts on the grass, but realizes it's rough and goes to the smooth cement driveway. The _____ offers more resistance. (A) cement driveway (B) grass