Assertion list for term "first active quantum".

Results from Ascent++: 1
cavity HasAfirst active quantum 0.28