Assertion list
coupling (primary) → AtLocation
Results from Ascent++: 1
coupling → AtLocation → electrical communication 0.30