Assertion list
surviving spouse (subgroup of spouse ) → AtLocation
Results from Ascent++: 1
surviving spouse → AtLocation → the commonwealth 0.25