In 5 the arrival event is annotated as POS as it may still occur (conditioned on the accomplishment of the if clause).
they have annotated a corpus and have worked on the automatic detection of factuality.