Enum Predicate 

pub enum Predicate {
    Root(String),
    Pair((PredicateId, PredicateId)),
    Converted((Conversion, PredicateId)),
    Negated(PredicateId),
    Grouped(PredicateId),
    WithArgs((PredicateId, Vec<ArgumentId>)),
    Abstraction((AbstractionKind, u32)),
}

A predicate (predicate relation) in the AST.

Variants

Root(String)

Root relation: an atomic corpus name, or a compound entry’s relation ident (computer_user) — compounds resolve to their entry BEFORE emission, so no compound structure survives into the AST.

Pair((PredicateId, PredicateId))

Modifier+head pair (a compound predicate). Fields: (modifier-id, head-id).

Converted((Conversion, PredicateId))

SE-converted predicate. Fields: (conversion, inner-id).

Negated(PredicateId)

Negated predicate (na). Payload: inner-id.

Grouped(PredicateId)

Grouped predicate ([ ... ] bracket group). Payload: inner-id.

WithArgs((PredicateId, Vec<ArgumentId>))

Predicate with linked arguments. Fields: (core-id, argument-ids).

Abstraction((AbstractionKind, u32))

Abstraction: event/fact/property/amount/concept block. Fields: (kind, sentence-id).

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.