logical_forms: (infer (and (friction high world1) (friction low world2)) (friction higher world1) (friction lower world1)) (infer (and (friction high world2) (friction low world1)) (friction higher world2) (friction lower world2))
logical_form_pretty: qval(friction, high, world1), qval(friction, low, world2) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Susan was driving her car on a snowy road when it started to slide, she applied her brakes. The car slid until it reached the dry pavement where it came to a stop. The car stopped because the dry pavement had (A) more friction or (B) less friction.