Assertion list
solution (aspect of puzzle ) → HasA

Results from Ascent++: 1
solutionHasA the following 0.25