Assertion list
head (aspect of tortoise ) → HasProperty
Results from Ascent++: 3
head → HasProperty → small 0.68
head → HasProperty → large 0.56
head → HasProperty → yellow 0.43