| Total Terms | Total Axioms | Total Rules |
| 16437 | 234812 | 7457 |
| Relations: | 1765 |
| non-linguistic axioms: | 168592 |
| Ground tuples: | 227264 |
| of which are binary: | 155708 |
| of which arity more than binary: | 71647 |
| Rules: | 7457 | |
| of which are | horn: | 2524 |
| first-order: | 5487 | |
| temporal: | 842 | |
| modal: | 279 | |
| epistemic: | 89 | |
| other higher-order: | 871 |
|
|