https://123dok.net/document/zwv9pdg0-extending-dl-lite-a-with-singleton-nominals.html