| Total Terms | Total Axioms | Total Rules |
| 16289 | 232751 | 7273 |
| Relations: | 1734 |
| non-linguistic axioms: | 166951 |
| Ground tuples: | 225388 |
| of which are binary: | 154464 |
| of which arity more than binary: | 71014 |
| Rules: | 7273 | |
| of which are | horn: | 2444 |
| first-order: | 5349 | |
| temporal: | 819 | |
| modal: | 270 | |
| epistemic: | 88 | |
| other higher-order: | 857 |
|
|