Assertion list
rental property (subgroup of property ) → HasA
Results from Ascent++: 1
rental property → HasA → certificate 0.25