Assertion list
actinium (primary) → AtLocation

Results from Ascent++: 1
actiniumAtLocation trace 0.35