Assertion list
conduit (primary) → IsA
Results from Ascent++: 1
conduit → IsA → game 0.16