| Total Terms | Total Axioms | Total Rules |
| 15821 | 219033 | 7613 |
| Relations: | 26233 |
| non-linguistic axioms: | 164461 |
| Ground tuples: | 211331 |
| of which are binary: | 151363 |
| of which arity more than binary: | 60057 |
| Rules: | 7613 | ||
| of which are: | horn: | 2591 | |
| first-order: | 5583 | ||
| higher-order: | 2030 | ||
| of which are: | temporal: | 695 | |
| deontic: | 108 | ||
| epistemic: | 126 | ||
| other modal: | 972 |