Assertion list
trigger (primary) → IsA
Results from Ascent++: 1
trigger → IsA → device 0.25