Assertion list
set (primary) → IsA
Results from Ascent++: 3
set → IsA → group 0.51
set → IsA → collection 0.38
set → IsA → unordered group of distinct ele… 0.33