Struct DefaultRule 

pub struct DefaultRule {
    pub ab_name: String,
    pub restriction_pred: Option<String>,
    pub unary: bool,
}

Convert a Term to ProofTerm. A defeasible default extracted by logic_expr_to_proof_expr_defeasible: the abnormality predicate guarding one GEN rule or implicature.

Fields

ab_name: String

The abnormality predicate name (ab_1, ab_2, …).

restriction_pred: Option<String>

The generic’s restrictor predicate (“penguin” in GEN x(Penguin → …)), used for specificity ordering. None for implicatures.

unary: bool

Unary (per-individual, generics) vs propositional (implicatures).

Trait Implementations

impl Clone for DefaultRule

fn clone(&self) -> DefaultRule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DefaultRule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.