Assertion list
income trust (subgroup of trust ) → HasProperty

Results from Ascent++: 1
income trustHasProperty insufficient 0.68