Assertion list
property (aspect of mineral ) → HasA

Results from Ascent++: 1
propertyHasA two, three or more mortgages 0.25