logical_forms: (infer (speed higher world1) (friction higher world1) (friction lower world1)) (infer (speed higher world2) (friction higher world2) (friction lower world2))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Two friends are racing skateboards on different lanes, a red lane and a green lane. The friend racing in the green lane finishes the race much faster than the friend in the red lane. This is because the green lane had (A) more resistance (B) less resistance.