Assertion list
formal probate (subgroup of probate ) → ReceivesAction
Results from Ascent++: 1
formal probate → ReceivesAction → required 0.58