Assertion list
trophy (primary) → IsA
Results from Ascent++: 1
trophy → IsA → the prize 0.25