Assertion list
laser pulse (subgroup of pulse ) → HasA
Results from Ascent++: 2
laser pulse → HasA → frequency 0.68
laser pulse → HasA → a spot size 0.25