Assertion list for term "move with given measuring-rod".

Results from Ascent++: 1
observer CapableOfmove with given measuring-rod 0.25