Assertion list
freight train (subgroup of train ) → AtLocation
Results from Ascent++: 1
freight train → AtLocation → a head-on collision 0.16