Assertion list
pun (primary) → IsA
Results from Ascent++: 1
pun → IsA → play 0.53