Assertion list
head (aspect of seal ) → HasProperty
Results from Ascent++: 3
head → HasProperty → small 0.68
head → HasProperty → upright 0.51
head → HasProperty → large 0.39