Assertion list
investment property (subgroup of property ) → HasProperty

Results from Ascent++: 1
investment propertyHasProperty profitable 0.25