ALTER TABLE facts ADD COLUMN implied BOOLEAN NOT NULL DEFAULT FALSE;

CREATE TABLE implication_rules (

id UUID PRIMARY KEY,

kb_id UUID NOT NULL REFERENCES knowledge_bases(id) ON DELETE CASCADE,

-- phrase：签名下的每条陈述触发；kind_word：带这个类别词的每个实体触发

trigger TEXT NOT NULL CHECK (trigger IN ('phrase', 'kind_word')),

-- 归一过的短语或类别词（同 phrase_bindings.phrase / type_bindings.kind_word）

phrase TEXT NOT NULL,

subject_type_id UUID REFERENCES entity_types(id) ON DELETE CASCADE,

object_type_id UUID REFERENCES entity_types(id) ON DELETE CASCADE,

object_is_value BOOLEAN NOT NULL DEFAULT false,

conclude_property_id UUID NOT NULL REFERENCES relation_types(id) ON DELETE CASCADE,

-- 空 = 宾语就是陈述的宾语；否则是读数的种类（见 utopia_extract::implication::READINGS）

reading TEXT,

status TEXT NOT NULL CHECK (status IN ('proposed', 'approved', 'rejected')),

votes JSONB,

decided_by TEXT NOT NULL DEFAULT 'agent' CHECK (decided_by IN ('agent', 'person')),

basis TEXT,

statement_count INTEGER NOT NULL DEFAULT 0,

examples TEXT[] NOT NULL DEFAULT '{}',

created_at TIMESTAMPTZ NOT NULL DEFAULT now(),

decided_at TIMESTAMPTZ NOT NULL DEFAULT now(),

UNIQUE NULLS NOT DISTINCT (kb_id, trigger, phrase, subject_type_id, object_type_id, object_is_value,

conclude_property_id, reading),

CONSTRAINT implication_rules_kind_word_shape

CHECK (trigger <> 'kind_word' OR (subject_type_id IS NULL AND object_type_id IS NULL AND NOT object_is_value))

);

CREATE INDEX implication_rules_kb_status_idx ON implication_rules (kb_id, status);

CREATE TABLE phrase_readings (

kb_id UUID NOT NULL REFERENCES knowledge_bases(id) ON DELETE CASCADE,

reading TEXT NOT NULL,

phrase TEXT NOT NULL,

entity_id UUID REFERENCES entities(id) ON DELETE CASCADE,

value JSONB,

answered_at TIMESTAMPTZ NOT NULL DEFAULT now(),

PRIMARY KEY (kb_id, reading, phrase),

CHECK (entity_id IS NULL OR value IS NULL)

);

CREATE TABLE implied_fact_sources (

fact_id UUID NOT NULL REFERENCES facts(id) ON DELETE CASCADE,

rule_id UUID NOT NULL REFERENCES implication_rules(id) ON DELETE CASCADE,

statement_id UUID REFERENCES facts(id) ON DELETE CASCADE,

entity_id UUID REFERENCES entities(id) ON DELETE CASCADE,

PRIMARY KEY (fact_id, rule_id),

CHECK ((statement_id IS NOT NULL) <> (entity_id IS NOT NULL))

);

CREATE INDEX implied_fact_sources_rule_idx ON implied_fact_sources (rule_id);

CREATE INDEX implied_fact_sources_statement_idx ON implied_fact_sources (statement_id) WHERE statement_id IS NOT NULL;