Assertion list
move (aspect of knight ) → HasProperty
Results from Ascent++: 1
move → HasProperty → possible 0.25