https://9dok.net/document/y4wd5j10-chasing-sets-use-existential-rules-expressive-reasoning.html