Assertion list
pot (primary) → IsA
Results from Ascent++: 2
pot → IsA → container 0.35
pot → IsA → curved container 0.27