Assertion list
length (aspect of beam ) → HasProperty
Results from Ascent++: 3
length → HasProperty → short 0.37
length → HasProperty → large 0.30
length → HasProperty → perfect 0.16