Assertion list
tax basis (subgroup of basis ) → HasProperty
Results from Ascent++: 1
tax basis → HasProperty → equal 0.68