| Total Terms | Total Axioms | Total Rules |
| 15784 | 218952 | 7575 |
| Relations: | 26230 |
| non-linguistic axioms: | 164396 |
| Ground tuples: | 211288 |
| of which are binary: | 151354 |
| of which arity more than binary: | 60023 |
| Rules: | 7575 | ||
| of which are: | horn: | 2572 | |
| first-order: | 5553 | ||
| higher-order: | 2022 | ||
| of which are: | temporal: | 695 | |
| deontic: | 106 | ||
| epistemic: | 126 | ||
| other modal: | 968 |