Assertion list
head (aspect of chameleon ) → HasProperty
Results from Ascent++: 2
head → HasProperty → large 0.68
head → HasProperty → flat 0.38