Assertion list
vase (primary) → IsA
Results from Ascent++: 1
vase → IsA → open container 0.45