| Total Terms | Total Axioms | Total Rules |
| 26146 | 389439 | 7945 |
| Relations: | 1865 |
| non-linguistic axioms: | 324380 |
| Ground tuples: | 381402 |
| of which are binary: | 310815 |
| of which arity more than binary: | 70679 |
| Rules: | 7945 | ||
| of which are: | horn: | 2662 | |
| first-order: | 5805 | ||
| higher-order: | 2140 | ||
| of which are: | temporal: | 717 | |
| deontic: | 114 | ||
| epistemic: | 127 | ||
| other modal: | 1050 |