Assertion list
coil (primary) → AtLocation
Results from Ascent++: 2
coil → AtLocation → the machine 0.31
coil → AtLocation → right angles 0.25