Assertion list
income tax (subgroup of tax ) → AtLocation
Results from Ascent++: 1
income tax → AtLocation → force 0.29