Assertion list
bobbin (primary) → HasA
Results from Ascent++: 2
bobbin → HasA → hole 0.25
bobbin → HasA → terminal 0.25