Assertion list
length (aspect of sword ) → HasA
Results from Ascent++: 1
length → HasA → equal 0.25