Assertion list
head (aspect of termite ) → HasProperty
Results from Ascent++: 3
head → HasProperty → large 0.68
head → HasProperty → brownish 0.28
head → HasProperty → hard 0.25