https://123dok.net/document/zgw32k62-decidable-contextualized-dls-rigid-roles.html