Assertion list
son (aspect of frank ) → HasA
Results from Ascent++: 3
son → HasA → child 0.25
son → HasA → children of their own 0.25
son → HasA → friend 0.16