inference (in the same microtheory), an error is signalled.</p>
<p style="border-style: initial; border-color: initial;">Assertions that are default true, in contrast, are held to be true in most cases, and can be overridden. If the negation of an existing ground, default assertion is asserted in the same microtheory, or is arrived at through inference, no error is signalled. Instead, the argumentation mechanism is invoked to decide what the final truth value of the assertion will be.</p>
<p style="border-s