pos_spec ::= 
 

042; [+integer] } [{ : | - } end] )