Assertion list
franchise tax (subgroup of tax ) → IsA
Results from Ascent++: 1
franchise tax → IsA → tax 0.68