| Total Terms | Total Axioms | Total Rules |
| 38883 | 149416 | 5685 |
| Relations: | 25346 |
| non-linguistic axioms: | 101460 |
| Ground tuples: | 143662 |
| of which are binary: | 92140 |
| of which arity more than binary: | 51591 |
| Rules: | 5685 | |
| of which are | horn: | 1922 |
| first-order: | 4209 | |
| temporal: | 679 | |
| modal: | 218 | |
| epistemic: | 45 | |
| other higher-order: | 618 |
|
|