Type Alias: CoherenceSubsumption
@kortexya/reasoninglayer / CoherenceSubsumption
Type Alias: CoherenceSubsumption
Section titled “Type Alias: CoherenceSubsumption”CoherenceSubsumption =
"equivalent"|"stricter_in_b"|"looser_in_b"|"overlapping"
Defined in: src/types/coherence.ts:168
Subsumption relation between the semantic projections of two matched claims.
Remarks
Section titled “Remarks”stricter_in_b / looser_in_b read from the earlier claim (A) to the later one (B).