Assertion list
head (aspect of horse ) → HasA
Results from Ascent++: 2
head → HasA → desired shape 0.37
head → HasA → straight profile 0.25