Assertion list
braid (primary) → IsA
Results from Ascent++: 1
braid → IsA → game 0.32