Assertion list
source package (subgroup of package ) → HasA
Results from Ascent++: 1
source package → HasA → the source code 0.25