https://5dok.net/document/1y9j9rdq-consistency-grammar-for-d-indoor-model-checking.html