Assertion list
mission (aspect of division ) → IsA
Results from Ascent++: 1
mission → IsA → operation tonga 0.25