Assertion list
portfolio (primary) → IsA
Results from Ascent++: 1
portfolio → IsA → the case 0.29