What a coincidence indeed. I actually recently started learning formal grammar parsers in Python so depending on the scope of this project it may either turn out great or be a figurative train wreck.
Either way, you got me interested: Lark, Parsimonius or what have you is the way to go in this project.