Assertion list
residential property (subgroup of property ) → HasPrerequisite
Results from Ascent++: 1
residential property → HasPrerequisite → several changes 0.25