Assertion list for term "walk in square".

Results from Ascent++: 1
monk CapableOfwalk in square 0.32