Assertion list
specific bequest (subgroup of bequest ) → ReceivesAction
Results from Ascent++: 2
specific bequest → ReceivesAction → satisfied 0.84
specific bequest → ReceivesAction → distributed 0.39