Assertion list
tax provision (subgroup of provision ) → CapableOf
Results from Ascent++: 1
tax provision → CapableOf → apply to asset 0.25