Assertion list
neck (primary) → IsA
Results from Ascent++: 2
neck → IsA → complex structure 0.25
neck → IsA → the toothpick in the wall 0.25