Assertion list
coupling (primary) → IsA
Results from Ascent++: 1
coupling → IsA → device 0.54