Assertion list for term "run within the cavity".

Results from Ascent++: 1
microwave CapableOfrun within the cavity 0.31