Assertion list
daughter (aspect of frank ) → HasA
Results from Ascent++: 1
daughter → HasA → children of their own 0.33