Assertion list for term "move slower than light".

Results from Ascent++: 2
electron CapableOfmove slower than light 0.16
proton CapableOfmove slower than light 0.16