Assertion list
arrival (primary) → Causes
Results from Ascent++: 2
arrival → Causes → conflict 0.25
arrival → Causes → stir 0.25