Assertion list
transport stream (subgroup of stream ) → HasA
Results from Ascent++: 1
transport stream → HasA → a pid of 12 pid-12 0.25