logical_forms: (infer (speed higher world1) (friction higher world2) (friction lower world2)) (infer (speed higher world2) (friction higher world1) (friction lower world1))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(friction, higher, world2) ; qrel(friction, lower, world2)
question: Evan drives his car into town. First he crosses his grass lawn, then he drives on the street. Evan can tell that the car drives faster and smoother on the street. That is because the grass lawn has (A) more resistance (B) less resistance.