Assertion list
head (aspect of diver ) → HasProperty
Results from Ascent++: 4
head → HasProperty → large 0.68
head → HasProperty → white 0.40
head → HasProperty → better than one 0.35
head → HasProperty → held erect 0.25