Assertion list for term "move at relativistic speed".

Results from Ascent++: 1
observer CapableOfmove at relativistic speed 0.25