Assertion list
dependency (aspect of container ) → HasProperty
Results from Ascent++: 1
dependency → HasProperty → optional 0.25