Assertion list
taxable estate (subgroup of estate ) → HasProperty

Results from Ascent++: 1
taxable estateHasProperty large 0.68