| Total Terms | Total Axioms | Total Rules |
| 15571 | 213617 | 7498 |
| Relations: | 1759 |
| non-linguistic axioms: | 160584 |
| Ground tuples: | 206032 |
| of which are binary: | 147688 |
| of which arity more than binary: | 58431 |
| Rules: | 7498 | |
| of which are | horn: | 2548 |
| first-order: | 5504 | |
| temporal: | 878 | |
| modal: | 283 | |
| epistemic: | 89 | |
| other higher-order: | 855 |
|
|