Assertion list
head (aspect of monk ) → HasProperty
Results from Ascent++: 2
head → HasProperty → straight 0.25
head → HasProperty → white 0.25