Assertion list
mission (aspect of spacecraft ) → HasA
Results from Ascent++: 1
mission → HasA → rover 0.33