Assertion list
risk (primary) → AtLocation
Results from Ascent++: 1
risk → AtLocation → acceptable levels 0.37