https://123dok.net/document/zx53ldln-a-semantic-characterization-for-asp-base-revision.html