Assertion list
bore (primary) → AtLocation
Results from Ascent++: 2
bore → AtLocation → fixed relation 0.29
bore → AtLocation → inner spacer 0.29