logical_forms: (infer (speed lower world1) (time higher world2) (time higher world1)) (infer (speed lower world2) (time higher world1) (time higher world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(time, higher, world2) ; qrel(time, higher, world1)
question: A cricket is slower then a hen. If both make the same journey, which will arrive later? (A) hen (B) cricket