Assertion list
passenger train (subgroup of train ) → AtLocation
Results from Ascent++: 1
passenger train → AtLocation → a rear-end collision 0.53