r1 ::= STRING \* r2 r2 ::= STRING ':' NUM ideally, r1 should not eat all STIRNGs before ':' .
r1 ::= STRING * r2
r2 ::= STRING ':' NUM
ideally, r1 should not eat all STIRNGs before ':' .