Assertion list
head (aspect of shark ) → HasProperty
Results from Ascent++: 2
head → HasProperty → wide 0.68
head → HasProperty → flat 0.51