Total Terms | Total Axioms | Total Rules |
16410 | 233640 | 7332 |
Relations: | 1753 |
non-linguistic axioms: | 167577 |
Ground tuples: | 226218 |
of which are binary: | 154849 |
of which arity more than binary: | 71459 |
Rules: | 7332 | |
of which are | horn: | 2444 |
first-order: | 5382 | |
temporal: | 837 | |
modal: | 279 | |
epistemic: | 89 | |
other higher-order: | 856 |
![]() |