Assertion list
head (aspect of deer ) → HasProperty
Results from Ascent++: 3
head → HasProperty → small 0.60
head → HasProperty → better than one 0.57
head → HasProperty → visible 0.39