Assertion list
mission (aspect of spacecraft ) → AtLocation
Results from Ascent++: 2
mission → AtLocation → conceptual phase 0.25
mission → AtLocation → progress 0.25