Assertion list
specified collection (subgroup of collection ) → IsA
Results from Ascent++: 1
specified collection → IsA → set 0.68