Assertion list
diversified portfolio (subgroup of portfolio ) → IsA

Results from Ascent++: 1
diversified portfolioIsA diversified at two levels 0.47