Assertion list
investment portfolio (subgroup of portfolio ) → HasProperty
Results from Ascent++: 1
investment portfolio → HasProperty → diversified 0.25