Struct NounPhrase 

pub struct NounPhrase<'a> {
    pub definiteness: Option<Definiteness>,
    pub adjectives: &'a [Symbol],
    pub noun: Symbol,
    pub possessor: Option<&'a NounPhrase<'a>>,
    pub pps: &'a [&'a LogicExpr<'a>],
    pub superlative: Option<Symbol>,
}

Parsed noun phrase structure for compositional interpretation.

Captures the internal structure of noun phrases including determiners, modifiers, and possessives for correct semantic composition.

Fields

definiteness: Option<Definiteness>

Definiteness: the (definite), a/an (indefinite), or bare (none).

adjectives: &'a [Symbol]

Pre-nominal adjectives (e.g., “big red” in “big red ball”).

noun: Symbol

Head noun (e.g., “ball” in “big red ball”).

possessor: Option<&'a NounPhrase<'a>>

Possessor phrase (e.g., “John’s” in “John’s book”).

pps: &'a [&'a LogicExpr<'a>]

Prepositional phrase modifiers attached to noun.

superlative: Option<Symbol>

Superlative adjective if present (e.g., “tallest”).

Implementations

impl<'a> NounPhrase<'a>

pub fn simple(noun: Symbol) -> NounPhrase<'a>

pub fn with_definiteness( definiteness: Definiteness, noun: Symbol, ) -> NounPhrase<'a>

impl<'a> NounPhrase<'a>

pub fn to_symbol( &self, registry: &mut SymbolRegistry, interner: &Interner, ) -> String

Converts the noun phrase to a short logic symbol (e.g., “C” for “cat”).

pub fn to_symbol_full( &self, registry: &SymbolRegistry, interner: &Interner, ) -> String

Converts the noun phrase to a full logic symbol (e.g., “Cat” for “cat”).

Trait Implementations

impl<'a> Clone for NounPhrase<'a>

fn clone(&self) -> NounPhrase<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for NounPhrase<'a>

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

Formats the value using the given formatter.

impl<'a> DisplayWith for NounPhrase<'a>

fn fmt_with( &self, interner: &Interner, f: &mut Formatter<'_>, ) -> Result<(), Error>

fn with<'a>(&'a self, interner: &'a Interner) -> WithInterner<'a, Self>

impl<'a, 'b> Resolve<'a> for NounPhrase<'b>

type Output = NounPhraseView<'a>

fn resolve(&self, interner: &'a Interner) -> NounPhraseView<'a>

impl<'a> Copy for NounPhrase<'a>