| Total Terms | Total Axioms | Total Rules |
| 16151 | 230033 | 7019 |
| Relations: | 1712 |
| non-linguistic axioms: | 230024 |
| Ground tuples: | 222929 |
| of which are binary: | 153040 |
| of which arity more than binary: | 69974 |
| Rules: | 7019 | |
| of which are | horn: | 2362 |
| first-order: | 5191 | |
| temporal: | 778 | |
| modal: | 257 | |
| epistemic: | 86 | |
| other higher-order: | 814 |
|
|