Type Alias TCoreEvaluationGrade

TCoreEvaluationGrade:
    | "sound"
    | "vacuously-true"
    | "unsound"
    | "counterexample"
    | "inadmissible"
    | "indeterminate"

Human-readable grade for an argument evaluation result. Summarizes the logical status of the argument under the given assignment.