Assertion list
head (aspect of knight ) → HasProperty
Results from Ascent++: 4
head → HasProperty → bare 0.68
head → HasProperty → high 0.49
head → HasProperty → better than one 0.35
head → HasProperty → bald 0.16