| Total Terms | Total Axioms | Total Rules |
| 34069 | 388960 | 7981 |
| Relations: | 9824 |
| non-linguistic axioms: | 323916 |
| Ground tuples: | 380881 |
| of which are binary: | 310321 |
| of which arity more than binary: | 70658 |
| Rules: | 7981 | |
| of which are | horn: | 2659 |
| first-order: | 5812 | |
| temporal: | 934 | |
| modal: | 307 | |
| epistemic: | 95 | |
| other higher-order: | 961 |
|
|