Assertion list
patriarch (primary) → HasA
Results from Ascent++: 2
patriarch → HasA → dream 0.25
patriarch → HasA → three sons 0.25