Assertion list
circuit board (primary) → AtLocation
Results from Ascent++: 2
circuit board → AtLocation → communication 0.48
circuit board → AtLocation → the enclosure 0.25