Assertion list for term "travel at finite speed".

Results from Ascent++: 4
light (aspect of star) CapableOftravel at finite speed 0.50
light CapableOftravel at finite speed 0.44
light (aspect of sun) CapableOftravel at finite speed 0.35
light (aspect of moon) CapableOftravel at finite speed 0.29