List of all items

Structs

• Arena
• BaseSpan
• CompileOptions
• Interner
• Symbol
• TranspileContext
• analysis::dependencies::Dependency
• analysis::discovery::DiscoveryPass
• analysis::discovery::DiscoveryResult
• analysis::policy::CapabilityDef
• analysis::policy::PolicyRegistry
• analysis::policy::PredicateDef
• analysis::registry::FieldDef
• analysis::registry::TypeRegistry
• analysis::registry::VariantDef
• arena::Arena
• arena_ctx::AstContext
• ast::logic::CategoricalData
• ast::logic::ModalVector
• ast::logic::NeoEventData
• ast::logic::NounPhrase
• ast::logic::RelationData
• ast::stmt::MatchArm
• ast::theorem::TheoremBlock
• debug::DebugWorld
• debug::WithInterner
• drs::Drs
• drs::DrsBox
• drs::ModalContext
• drs::Referent
• drs::TelescopeCandidate
• drs::TimeConstraint
• drs::WorldState
• error::ParseError
• formatter::KripkeFormatter
• formatter::LatexFormatter
• formatter::RustFormatter
• formatter::SimpleFOLFormatter
• formatter::UnicodeFormatter
• intern::Interner
• intern::Symbol
• lambda::ScopeIterator
• lexer::Lexer
• lexer::LineLexer
• lexicon::AdjectiveMetadata
• lexicon::CanonicalMapping
• lexicon::Lexicon
• lexicon::MorphRule
• lexicon::MorphologicalRule
• lexicon::NounMetadata
• lexicon::StaticLexicon
• lexicon::VerbEntry
• lexicon::VerbMetadata
• mwe::MweTarget
• mwe::MweTrie
• parser::EventTemplate
• parser::Parser
• parser::ParserGuard
• registry::SymbolRegistry
• runtime_lexicon::AdjectiveEntry
• runtime_lexicon::LexiconData
• runtime_lexicon::LexiconIndex
• runtime_lexicon::NounEntry
• runtime_lexicon::VerbEntry
• scope::ScopeEntry
• scope::ScopeStack
• session::Session
• style::Style
• symbol_dict::SymbolEntry
• token::Span
• token::Token
• view::NounPhraseView

Enums

• Case
• Gender
• Number
• OutputFormat
• analysis::policy::PolicyCondition
• analysis::registry::FieldType
• analysis::registry::TypeDef
• ast::logic::AspectOperator
• ast::logic::BinaryOpKind
• ast::logic::Dimension
• ast::logic::LogicExpr
• ast::logic::LogicalType
• ast::logic::ModalDomain
• ast::logic::ModalFlavor
• ast::logic::NumberKind
• ast::logic::QuantifierKind
• ast::logic::TemporalOperator
• ast::logic::Term
• ast::logic::ThematicRole
• ast::logic::UnaryOpKind
• ast::logic::VoiceOperator
• ast::stmt::BinaryOpKind
• ast::stmt::Expr
• ast::stmt::Literal
• ast::stmt::ReadSource
• ast::stmt::SelectBranch
• ast::stmt::Stmt
• ast::stmt::TypeExpr
• ast::theorem::ProofStrategy
• drs::BoxType
• drs::Case
• drs::Gender
• drs::Number
• drs::OwnershipState
• drs::ReferentSource
• drs::ScopeError
• drs::ScopePath
• drs::TimeRelation
• error::ParseErrorKind
• lexer::LexerMode
• lexer::LineToken
• lexicon::Aspect
• lexicon::Case
• lexicon::Definiteness
• lexicon::Feature
• lexicon::Gender
• lexicon::Number
• lexicon::Polarity
• lexicon::Sort
• lexicon::Time
• lexicon::VerbClass
• lexicon::WordAnalysis
• parser::ModalPreference
• parser::NegativeScopeMode
• parser::ParserMode
• parser::ResolvedPronoun
• symbol_dict::SymbolKind
• token::BlockType
• token::FocusKind
• token::MeasureKind
• token::PresupKind
• token::TokenType
• view::ExprView
• view::NumberKindView
• view::TermView

Traits

• SymbolEq
• debug::DisplayWith
• formatter::LogicFormatter
• intern::SymbolEq
• lexicon::LexiconTrait
• parser::ClauseParsing
• parser::ImperativeVerbParsing
• parser::LogicVerbParsing
• parser::ModalParsing
• parser::NounParsing
• parser::PragmaticsParsing
• parser::QuantifierParsing
• parser::QuestionParsing
• view::Resolve
• visitor::Visitor

Functions

• analysis::dependencies::scan_dependencies
• compile::compile
• compile::compile_all_scopes
• compile::compile_all_scopes_with_options
• compile::compile_ambiguous
• compile::compile_ambiguous_with_options
• compile::compile_discourse
• compile::compile_discourse_with_options
• compile::compile_forest
• compile::compile_forest_with_options
• compile::compile_kripke
• compile::compile_simple
• compile::compile_theorem
• compile::compile_with_discourse
• compile::compile_with_options
• compile::compile_with_world_state
• compile::compile_with_world_state_interner_options
• compile::compile_with_world_state_options
• error::socratic_explanation
• lambda::apply_adverb
• lambda::beta_reduce
• lambda::enumerate_intensional_readings
• lambda::enumerate_scopings
• lambda::is_opaque_verb
• lambda::lift_proper_name
• lambda::lift_quantifier
• lambda::make_intensional
• lambda::substitute_respecting_opacity
• lambda::to_event_semantics
• lexicon::analyze_word
• lexicon::get_canonical_noun
• lexicon::get_canonical_verb
• lexicon::get_morphological_rules
• lexicon::is_adjective
• lexicon::is_adverb
• lexicon::is_agentive_noun
• lexicon::is_base_verb
• lexicon::is_base_verb_early
• lexicon::is_collective_verb
• lexicon::is_common_noun
• lexicon::is_derivable_noun
• lexicon::is_disambiguation_not_verb
• lexicon::is_distributive_verb
• lexicon::is_ditransitive_verb
• lexicon::is_event_modifier_adjective
• lexicon::is_female_name
• lexicon::is_female_noun
• lexicon::is_gradable_adjective
• lexicon::is_infinitive_verb
• lexicon::is_intensional_predicate
• lexicon::is_irregular_plural
• lexicon::is_male_name
• lexicon::is_male_noun
• lexicon::is_mixed_verb
• lexicon::is_neuter_noun
• lexicon::is_non_intersective
• lexicon::is_not_adverb
• lexicon::is_noun_pattern
• lexicon::is_object_control_verb
• lexicon::is_opaque_verb
• lexicon::is_particle
• lexicon::is_performative
• lexicon::is_preposition
• lexicon::is_proper_name
• lexicon::is_raising_verb
• lexicon::is_scopal_adverb
• lexicon::is_stemming_exception
• lexicon::is_subject_control_verb
• lexicon::is_subsective
• lexicon::is_temporal_adverb
• lexicon::lookup_adjective_db
• lexicon::lookup_agentive_noun
• lexicon::lookup_article
• lexicon::lookup_auxiliary
• lexicon::lookup_canonical
• lexicon::lookup_irregular_verb
• lexicon::lookup_keyword
• lexicon::lookup_noun_db
• lexicon::lookup_noun_derivation
• lexicon::lookup_phrasal_verb
• lexicon::lookup_presup_trigger
• lexicon::lookup_pronoun
• lexicon::lookup_sort
• lexicon::lookup_unit_dimension
• lexicon::lookup_verb_class
• lexicon::lookup_verb_db
• lexicon::needs_e_ed
• lexicon::needs_e_ing
• lexicon::singularize
• lexicon::word_to_number
• mwe::apply_mwe_pipeline
• mwe::build_mwe_trie
• ontology::check_sort_compatibility
• ontology::find_bridging_wholes
• ontology::get_possible_wholes
• ontology::get_predicate_sort
• ontology::required_sort
• pragmatics::apply_pragmatics
• proof_convert::logic_expr_to_proof_expr
• proof_convert::term_to_proof_term
• runtime_lexicon::gerund
• runtime_lexicon::past_tense
• runtime_lexicon::pluralize
• runtime_lexicon::present_3s
• semantics::apply_axioms
• semantics::apply_kripke_lowering
• semantics::is_privative_adjective
• semantics::lookup_noun_entailments
• semantics::lookup_noun_hypernyms
• semantics::lookup_verb_entailment
• suggest::find_similar
• suggest::levenshtein
• symbol_dict::extract_symbols
• symbol_dict::group_symbols_by_kind
• transpile::capitalize_first
• visitor::walk_expr
• visitor::walk_np
• visitor::walk_term

Type Aliases

• ast::stmt::Block

Constants

• compile::MAX_FOREST_READINGS
• suggest::KNOWN_WORDS