Assertion list
shape (aspect of kite ) → HasProperty
Results from Ascent++: 1
shape → HasProperty → wrong 0.16