https://123dok.net/document/yj7mx1l6-aligning-formal-meaning-representations-surface-strings-coverage-generation.html