Assertion list
adoptive parent (subgroup of parent ) → IsA
Results from Ascent++: 1
adoptive parent → IsA → parent 0.47