Assertion list
head (aspect of giraffe ) → HasProperty
Results from Ascent++: 1
head → HasProperty → kept upright 0.25