Module semantics 

Semantic transformations for logical expressions.

This module provides post-parse semantic transformations:

• apply_axioms: Expands predicates with entailments and hypernymy
• apply_kripke_lowering: Converts modals to explicit world quantification

These transformations enrich the logical representation with inferred content.

Re-exports

pub use kripke::apply_kripke_lowering;

Modules

knowledge_graph

Knowledge Graph extraction for hardware verification.

kripke

Kripke Semantics Lowering Pass

Functions

apply_axioms

Apply axiom expansion to a logical expression.

is_privative_adjective

Check if an adjective is privative (e.g., fake, counterfeit).

lookup_noun_entailments

Get entailment predicates for a noun (e.g., bachelor -> [Unmarried, Male]).

lookup_noun_hypernyms

Get hypernym predicates for a noun (e.g., dog -> [Animal, Mammal]).

lookup_verb_entailment

Get verb entailment (e.g., murder -> (Kill, [Intentional])).