Assertion list
son (aspect of grandfather ) → HasA

Results from Ascent++: 4
sonHasA daughter 0.51
sonHasA two children 0.48
sonHasA child 0.44
sonHasA store 0.25