Assertion list
board (aspect of surfer ) → HasA
Results from Ascent++: 1
board → HasA → fin 0.36