Assertion list
married taxpayer (subgroup of taxpayer ) → HasProperty

Results from Ascent++: 2
married taxpayerHasProperty ineligible 0.36
married taxpayerHasProperty liable 0.30