| Total Terms | Total Axioms | Total Rules |
| 16348 | 233582 | 7346 |
| Relations: | 1747 |
| non-linguistic axioms: | 167514 |
| Ground tuples: | 226146 |
| of which are binary: | 154828 |
| of which arity more than binary: | 71408 |
| Rules: | 7346 | |
| of which are | horn: | 2465 |
| first-order: | 5402 | |
| temporal: | 825 | |
| modal: | 275 | |
| epistemic: | 90 | |
| other higher-order: | 865 |
|
|