Assertion list
axe (aspect of executioner ) → HasProperty
Results from Ascent++: 1
axe → HasProperty → sharp 0.68