Assertion list
daughter (primary) → IsA
Results from Ascent++: 2
daughter → IsA → child 0.47
daughter → IsA → with child 0.39