pub struct CategoricalData<'a> {
pub quantifier: TokenType,
pub subject: NounPhrase<'a>,
pub copula_negative: bool,
pub predicate: NounPhrase<'a>,
}Expand description
Aristotelian categorical proposition data.
Represents the four categorical forms (A, E, I, O):
- A: All S are P
- E: No S are P
- I: Some S are P
- O: Some S are not P
Fields§
§quantifier: TokenTypeThe quantifier (All, No, Some).
subject: NounPhrase<'a>Subject term (S in “All S are P”).
copula_negative: boolWhether copula is negated (for O-form: “Some S are not P”).
predicate: NounPhrase<'a>Predicate term (P in “All S are P”).
Trait Implementations§
Auto Trait Implementations§
impl<'a> Freeze for CategoricalData<'a>
impl<'a> RefUnwindSafe for CategoricalData<'a>
impl<'a> Send for CategoricalData<'a>
impl<'a> Sync for CategoricalData<'a>
impl<'a> Unpin for CategoricalData<'a>
impl<'a> UnwindSafe for CategoricalData<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more