Assertion list
value (aspect of measure ) → IsA
Results from Ascent++: 1
value → IsA → individualized to particular su… 0.25