Assertion list
manual (aspect of owner ) → HasProperty
Results from Ascent++: 1
manual → HasProperty → helpful 0.16