logical_forms: (infer (speed lower world1) (time lower world1) (time higher world1)) (infer (speed lower world2) (time lower world2) (time higher world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(time, lower, world1) ; qrel(time, higher, world1)
question: If John runs a mile on Monday and walks a mile on Tuesday, on which day will John complete his mile in more time? (A) Monday (B) Tuesday