logical_forms: (infer (time lower world1) (distance lower world1) (distance lower world2)) (infer (time lower world2) (distance lower world2) (distance lower world1))
logical_form_pretty: qrel(time, lower, world1) -> qrel(distance, lower, world1) ; qrel(distance, lower, world2)
question: Michael and Daphne leave the train station at the same time and begin walking home along the same route. Michael decides to stop at a friend's house along the way, while Daphne continues walking. Who would end up going the smaller distance from the train station? (A) Michael (B) Daphne