| Total Terms | Total Axioms | Total Rules |
| 15576 | 214087 | 7511 |
| Relations: | 1759 |
| non-linguistic axioms: | 161052 |
| Ground tuples: | 206484 |
| of which are binary: | 148139 |
| of which arity more than binary: | 58437 |
| Rules: | 7511 | |
| of which are | horn: | 2545 |
| first-order: | 5505 | |
| temporal: | 880 | |
| modal: | 284 | |
| epistemic: | 91 | |
| other higher-order: | 864 |
|
|