First idea

[susuhahnml]

How the documentation for this page could be automatically generated

```
::: encodings/base.lp
    :root-file: false
    :source: true
    :predicate-table: true
    :dependency-graph: true
    :glosary: true
    :subfiles: true
    :glossary-references: true

```

- **root-file:** If the root file name is included, in this case it is not

- **source:** Shows the content of the source file (like mkdocstring)
    - The example of the source I only left in the first file, the rest don't have it, in favor of the github link

- **predicate-table:** Adds a table with the summary of all preicates
    - The summary table could be generated with chatgpt
- **dependency-graph:** Adds a dependency graph using mermaid. Dependency graph can be automatically computed perhaps with more detailed arrows
- **glossary:** Adds a section with the glossary of all predicates used
    - Perhaps the definition of atoms could be taken from clorm instead (if there is one)
- **glossary-references:** Adds a reference sections in each predicate of the glossary
    - Perhaps we also want to include references from instances as examples...
- **subfiles:** Includes all of the included files