Assertion list
diaphragm (primary) → AtLocation
Results from Ascent++: 2
diaphragm → AtLocation → communication 0.35
diaphragm → AtLocation → opposite electrical polarity 0.25