logical_forms: (infer (time higher world1) (speed lower world1) (speed higher world1)) (infer (time higher world2) (speed lower world2) (speed higher world2))
logical_form_pretty: qrel(time, higher, world1) -> qrel(speed, lower, world1) ; qrel(speed, higher, world1)
question: An owl is tracking a mouse. The mouse runs through the forest with the intent of reaching the very edge, but when it gets there after several hours, the owl is already there and waiting! This is because (A) the mouse is slower than the owl (B) the mouse is much faster than the owl