Total Terms | Total Axioms | Total Rules |
16186 | 230362 | 7054 |
Relations: | 1718 |
non-linguistic axioms: | 230353 |
Ground tuples: | 223222 |
of which are binary: | 153253 |
of which arity more than binary: | 70055 |
Rules: | 7054 | |
of which are | horn: | 2366 |
first-order: | 5203 | |
temporal: | 794 | |
modal: | 257 | |
epistemic: | 87 | |
other higher-order: | 821 |