Assertion list
commercial property (subgroup of property ) → HasProperty
Results from Ascent++: 1
commercial property → HasProperty → exempt 0.53