Assertion list
married taxpayer (subgroup of taxpayer ) → ReceivesAction
Results from Ascent++: 1
married taxpayer → ReceivesAction → considered unmarried 0.25