Assertion list
head (aspect of salamander ) → HasProperty
Results from Ascent++: 3
head → HasProperty → wide 0.68
head → HasProperty → broad 0.49
head → HasProperty → flat 0.25