Assertion list
output pulse (subgroup of pulse ) → ReceivesAction
Results from Ascent++: 2
output pulse → ReceivesAction → conveyed by the fiber 0.25
output pulse → ReceivesAction → shown in fig 0.25