Assertion list
head (aspect of giraffe ) → HasProperty

Results from Ascent++: 1
headHasProperty kept upright 0.25