Assertion list
component (aspect of cpu ) → HasA
Results from Ascent++: 2
component → HasA → same functions 0.25
component → HasA → another purpose 0.20