Assertion list
head (aspect of turtle ) → HasProperty
Results from Ascent++: 7
head → HasProperty → large 0.68
head → HasProperty → small 0.67
head → HasProperty → black 0.63
head → HasProperty → dark 0.46
head → HasProperty → brown 0.32
head → HasProperty → red 0.25
head → HasProperty → yellow 0.25