Assertion list
set (primary) → IsA

Results from Ascent++: 3
setIsA group 0.51
setIsA collection 0.38
setIsA unordered group of distinct ele… 0.33