Assertion list
closed adoption (subgroup of adoption ) → IsA
Results from Ascent++: 1
closed adoption → IsA → the norm 0.28