Assertion list
cup (primary) → IsA
Results from Ascent++: 3
cup → IsA → vessel 0.34
cup → IsA → perpetual trophy 0.30
cup → IsA → the oldest active trophy 0.21