https://9dok.net/document/qvl431k0-a-new-ary-existential-quantifier-in-description-logics.html