| Total Terms | Total Axioms | Total Rules |
| 16182 | 230351 | 7056 |
| Relations: | 1718 |
| non-linguistic axioms: | 230342 |
| Ground tuples: | 223208 |
| of which are binary: | 153245 |
| of which arity more than binary: | 70050 |
| Rules: | 7056 | |
| of which are | horn: | 2371 |
| first-order: | 5206 | |
| temporal: | 794 | |
| modal: | 257 | |
| epistemic: | 87 | |
| other higher-order: | 820 |
|
|