Assertion list
tangible property (subgroup of property ) → HasProperty
Results from Ascent++: 1
tangible property → HasProperty → depreciable 0.25