Total Terms | Total Axioms | Total Rules |
16381 | 233923 | 7391 |
Relations: | 1755 |
non-linguistic axioms: | 167799 |
Ground tuples: | 226441 |
of which are binary: | 155049 |
of which arity more than binary: | 71483 |
Rules: | 7391 | |
of which are | horn: | 2484 |
first-order: | 5435 | |
temporal: | 833 | |
modal: | 275 | |
epistemic: | 90 | |
other higher-order: | 869 |
![]() |