| Total Terms | Total Axioms | Total Rules |
| 16251 | 231188 | 7199 |
| Relations: | 1726 |
| non-linguistic axioms: | 231179 |
| Ground tuples: | 223902 |
| of which are binary: | 153787 |
| of which arity more than binary: | 70202 |
| Rules: | 7199 | |
| of which are | horn: | 2425 |
| first-order: | 5297 | |
| temporal: | 812 | |
| modal: | 265 | |
| epistemic: | 89 | |
| other higher-order: | 846 |
|
|