Assertion list
length (aspect of beam ) → CapableOf
Results from Ascent++: 3
length → CapableOf → exceed 200 meters 0.34
length → CapableOf → cut through the water 0.25
length → CapableOf → dissipate thermal stress 0.25