Assertion list
taxable person (subgroup of person ) → HasProperty

Results from Ascent++: 1
taxable personHasProperty liable 0.37