Assertion list
mirage (primary) → AtLocation
Results from Ascent++: 1
mirage → AtLocation → nuclear-capable 2000n 0.33