Assertion list
bore (primary) → DefinedAs
Results from Ascent++: 2
bore → DefinedAs → first one of the split 0.34
bore → DefinedAs → bifurcated sections 0.25