Assertion list
shape (aspect of kite ) → HasProperty

Results from Ascent++: 1
shapeHasProperty wrong 0.16