Enum LogicalType 

pub enum LogicalType {
    Entity,
    TruthValue,
    Property,
    Quantifier,
}

Montague semantic types for compositional interpretation.

These types classify expressions according to their denotation in a model-theoretic semantics, following Montague’s “Universal Grammar”.

Variants

Entity

Type e: Individuals (entities) like “John” or “the ball”.

TruthValue

Type t: Truth values (propositions) like “John runs”.

Property

Type <e,t>: Properties (one-place predicates) like “is a unicorn”.

Quantifier

Type <<e,t>,t>: Generalized quantifiers like “every man” or “a woman”.

Trait Implementations

impl Clone for LogicalType

fn clone(&self) -> LogicalType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalType

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

Formats the value using the given formatter.

impl PartialEq for LogicalType

fn eq(&self, other: &LogicalType) -> 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 LogicalType

impl Eq for LogicalType

impl StructuralPartialEq for LogicalType