| Total Terms | Total Axioms | Total Rules |
| 31544 | 497874 | 8202 |
| Relations: | 26337 |
| non-linguistic axioms: | 432453 |
| Ground tuples: | 489475 |
| of which are binary: | 411822 |
| of which arity more than binary: | 77850 |
| Rules: | 8202 | ||
| of which are: | horn: | 2775 | |
| first-order: | 6005 | ||
| higher-order: | 2197 | ||
| of which are: | temporal: | 717 | |
| deontic: | 109 | ||
| epistemic: | 130 | ||
| other modal: | 1107 |