Enum BoxType 

pub enum BoxType {
    Main,
    ConditionalAntecedent,
    ConditionalConsequent,
    NegationScope,
    UniversalRestrictor,
    UniversalScope,
    Disjunct,
    ModalScope,
}

Variants

Main

Top-level discourse box

ConditionalAntecedent

Antecedent of conditional (“if” clause)

ConditionalConsequent

Consequent of conditional (“then” clause)

NegationScope

Scope of negation

UniversalRestrictor

Restrictor of universal quantifier (relative clause in “every X who…”)

UniversalScope

Nuclear scope of universal quantifier

Disjunct

Branch of disjunction

ModalScope

Scope of modal operator (might, would, could, etc.) Allows modal subordination: pronouns can access referents via telescoping

Implementations

impl BoxType

pub fn to_referent_source(&self) -> ReferentSource

pub fn can_telescope(&self) -> bool

Can referents in this box be accessed via telescoping across sentence boundaries? Universal quantifiers, conditionals, and modals CAN telescope. Negation and disjunction CANNOT telescope.

pub fn blocks_accessibility(&self) -> bool

Does this box type block accessibility from outside?

Trait Implementations

impl Clone for BoxType

fn clone(&self) -> BoxType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoxType

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

Formats the value using the given formatter.

impl PartialEq for BoxType

fn eq(&self, other: &BoxType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for BoxType

impl Eq for BoxType

impl StructuralPartialEq for BoxType