Assertion list
move (aspect of knight ) → CapableOf
Results from Ascent++: 1
move → CapableOf → complete the tour 0.41