https://123dok.net/document/qvl7wv2d-gf-mathematical-grammar-library-openmath-natural-languages.html