https://5dok.net/document/myjpmwky-formalization-and-automatic-interpretation-of-map-requirements.html