Assertion list
broadcast (primary) → IsA
Results from Ascent++: 1
broadcast → IsA → message 0.34