Assertion list
component (aspect of compressor ) → HasA
Results from Ascent++: 1
component → HasA → same or similar features 0.25