Assertion list
wife (aspect of pilgrim ) → HasA

Results from Ascent++: 1
wifeHasA right 0.25