Assertion list
property (aspect of landlord ) → DefinedAs
Results from Ascent++: 1
property → DefinedAs → house 0.32