Assertion list
video stream (subgroup of stream ) → CapableOf
Results from Ascent++: 3
video stream → CapableOf → correspond to new time interval 0.48
video stream → CapableOf → arrive at a latest time 0.33
video stream → CapableOf → form the video sequences 0.25