| Total Terms | Total Axioms | Total Rules |
| 16387 | 234044 | 7401 |
| Relations: | 1755 |
| non-linguistic axioms: | 167901 |
| Ground tuples: | 226552 |
| of which are binary: | 155129 |
| of which arity more than binary: | 71514 |
| Rules: | 7401 | |
| of which are | horn: | 2487 |
| first-order: | 5440 | |
| temporal: | 835 | |
| modal: | 278 | |
| epistemic: | 90 | |
| other higher-order: | 869 |
|
|