Assertion list
adult child (subgroup of child ) → IsA
Results from Ascent++: 3
adult child → IsA → child 0.25
adult child → IsA → minor 0.25
adult child → IsA → student 0.25