pos_spec ::= ( { start | * [+integer] } [{ : | - } end] )