Assertion list
given collection (subgroup of collection ) → HasA

Results from Ascent++: 1
given collectionHasA object 0.25