Assertion list
capability (aspect of spreadsheet ) → HasProperty
Results from Ascent++: 1
capability → HasProperty → critical 0.25