Assertion list
new parent (subgroup of parent ) → IsA
Results from Ascent++: 1
new parent → IsA → sleep-deprived 0.43