| Total Terms | Total Axioms | Total Rules |
| 15459 | 213430 | 7410 |
| Relations: | 1751 |
| non-linguistic axioms: | 160507 |
| Ground tuples: | 205935 |
| of which are binary: | 147706 |
| of which arity more than binary: | 58314 |
| Rules: | 7410 | |
| of which are | horn: | 2519 |
| first-order: | 5463 | |
| temporal: | 843 | |
| modal: | 274 | |
| epistemic: | 87 | |
| other higher-order: | 848 |
|
|