| Total Terms | Total Axioms | Total Rules |
| 34063 | 388527 | 7973 |
| Relations: | 9839 |
| non-linguistic axioms: | 323487 |
| Ground tuples: | 380457 |
| of which are binary: | 309904 |
| of which arity more than binary: | 70650 |
| Rules: | 7973 | |
| of which are | horn: | 2653 |
| first-order: | 5803 | |
| temporal: | 934 | |
| modal: | 308 | |
| epistemic: | 94 | |
| other higher-order: | 961 |
|
|