| Total Terms | Total Axioms | Total Rules |
| 16228 | 230941 | 7160 |
| Relations: | 1724 |
| non-linguistic axioms: | 230932 |
| Ground tuples: | 223694 |
| of which are binary: | 153622 |
| of which arity more than binary: | 70159 |
| Rules: | 7160 | |
| of which are | horn: | 2417 |
| first-order: | 5270 | |
| temporal: | 810 | |
| modal: | 263 | |
| epistemic: | 89 | |
| other higher-order: | 838 |
|
|