The category "<ship_speed_command>" can be expressed as follows:
<ship_speed>
make best speed
proceed at <ship_speed>