Assertion list
property tax (subgroup of tax ) → CapableOf
Results from Ascent++: 1
property tax → CapableOf → destroy the family 0.16