| Total Terms | Total Axioms | Total Rules |
| 34034 | 386029 | 7859 |
| Relations: | 9755 |
| non-linguistic axioms: | 321102 |
| Ground tuples: | 378085 |
| of which are binary: | 308102 |
| of which arity more than binary: | 70068 |
| Rules: | 7859 | |
| of which are | horn: | 2596 |
| first-order: | 5720 | |
| temporal: | 920 | |
| modal: | 304 | |
| epistemic: | 94 | |
| other higher-order: | 946 |
|
|