Assertion list
mission (aspect of astronaut ) → AtLocation
Results from Ascent++: 1
mission → AtLocation → progress 0.25