| Total Terms | Total Axioms | Total Rules |
| 26115 | 388697 | 7946 |
| Relations: | 1859 |
| non-linguistic axioms: | 323697 |
| Ground tuples: | 380653 |
| of which are binary: | 310137 |
| of which arity more than binary: | 70614 |
| Rules: | 7946 | |
| of which are | horn: | 2651 |
| first-order: | 5799 | |
| temporal: | 924 | |
| modal: | 305 | |
| epistemic: | 94 | |
| other higher-order: | 950 |
|
|