Assertion list
live nanny (subgroup of nanny ) → IsA
Results from Ascent++: 1
live nanny → IsA → nanny 0.34