Assertion list
work (aspect of bliss ) → HasProperty
Results from Ascent++: 1
work → HasProperty → well-managed 0.25