I wonder if this was just for the notation format, or actual legal moves given board state? I've never tried this so I might be wrong, but intuitively it seems like it would be somewhere between impossible and very very hard to achieve the latter using BNF grammars? Very happy to be proven wrong and plunged into a rabbit hole!