Assertion list
head (aspect of pony ) → HasProperty
Results from Ascent++: 4
head → HasProperty → large 0.68
head → HasProperty → small 0.68
head → HasProperty → long 0.25
head → HasProperty → white 0.25