Assertion list
subset (aspect of set ) → HasA
Results from Ascent++: 2
subset → HasA → secondary numeric values 0.37
subset → HasA → same number of data elements 0.25