| Total Terms | Total Axioms | Total Rules |
| 14776 | 219893 | 6683 |
| Relations: | 1690 |
| non-linguistic axioms: | 219884 |
| Ground tuples: | 213128 |
| of which are binary: | 145023 |
| of which arity more than binary: | 68187 |
| Rules: | 6683 | |
| of which are | horn: | 2262 |
| first-order: | 4991 | |
| temporal: | 711 | |
| modal: | 226 | |
| epistemic: | 72 | |
| other higher-order: | 776 |
|
|