Assertion list
splitter (primary) → HasA
Results from Ascent++: 3
splitter → HasA → remote node 0.51
splitter → HasA → input 0.42
splitter → HasA → two outputs 0.25