Assertion list
wiring (primary) → AtLocation
Results from Ascent++: 2
wiring → AtLocation → the connector 0.41
wiring → AtLocation → point of fact 0.35