Assertion list
head (aspect of sloth ) → HasProperty
Results from Ascent++: 2
head → HasProperty → flat 0.68
head → HasProperty → short 0.68