Assertion list
body (aspect of turtle ) → HasProperty
Results from Ascent++: 3
body → HasProperty → black 0.25
body → HasProperty → flat 0.25
body → HasProperty → white 0.25