Assertion list
laser pulse (subgroup of pulse ) → ReceivesAction
Results from Ascent++: 1
laser pulse → ReceivesAction → directed through the aperture 0.25