Assertion list
train (primary) → HasSubevent
Results from Ascent++: 1
train → HasSubevent → collision 0.27