Assertion list
head (aspect of goat ) → HasProperty
Results from Ascent++: 2
head → HasProperty → long 0.25
head → HasProperty → short 0.25