Assertion list for term "move on a place of the first".

Results from Ascent++: 1
cube CapableOfmove on a place of the first 0.28