Assertion list
new set (subgroup of set ) → HasA
Results from Ascent++: 2
new set → HasA → element 0.62
new set → HasA → item 0.25