Assertion list
probate estate (subgroup of estate ) → IsA

Results from Ascent++: 1
probate estateIsA all of the assets 0.25