https://9dok.net/document/y96j3o5r-description-logic.html