Assertion list
member (aspect of academy ) → HasA
Results from Ascent++: 1
member → HasA → responsibility 0.25