Assertion list
tour (aspect of knight ) → HasProperty
Results from Ascent++: 2
tour → HasProperty → possible 0.68
tour → HasProperty → open 0.25