https://9lib.org/document/1y9901wy-view-language-extension-logic-mr-semantic-tableau-approach.html