Total Terms | Total Axioms | Total Rules |
16349 | 233382 | 7346 |
Relations: | 1747 |
non-linguistic axioms: | 167450 |
Ground tuples: | 225946 |
of which are binary: | 154833 |
of which arity more than binary: | 71203 |
Rules: | 7346 | |
of which are | horn: | 2465 |
first-order: | 5402 | |
temporal: | 825 | |
modal: | 275 | |
epistemic: | 90 | |
other higher-order: | 865 |
![]() |