logical_forms: (infer (friction higher world1) (speed lower world2) (speed lower world1)) (infer (friction higher world2) (speed lower world1) (speed lower world2))
logical_form_pretty: qrel(friction, higher, world1) -> qrel(speed, lower, world2) ; qrel(speed, lower, world1)
question: Milo figured out that driving his van over old asphalt provided more resistance then driving it over new asphalt. This in turn meant that his van moved slower over the (A) new asphalt or (B) old asphalt