(; Multi-Bridge Analogy Model - Reusable MeTTa Skill
; Given two concepts and shared predicates, generates analogical similarity
; via abduction on each bridge, then revises similarities together.
;
; Usage: assert bridge facts, then call |- pairs manually.
; Pattern per bridge:
;   (|- ((--> A predicate) (stv fA cA)) ((--> B predicate) (stv fB cB)))
;   yields A<->B similarity via abduction
;
; Then revise similarities:
;   (|- ((<-> A B) (stv f1 c1)) ((<-> A B) (stv f2 c2)))
;
; Properties validated 2026-04-23:
;   - Confidence grows with more bridges (diminishing returns)
;   - Weak bridges (low f) temper overall similarity
;   - Contradictory bridges (f~0) correctly weaken analogy
;   - Asymmetry: A->B vs B->A differ (abduction vs induction)
;
; Example domains: Biology(bird) <-> Economics(firm)
; Bridges: has-metabolism, consumes-resources, has-lifecycle, reproduces
; Results: 1-bridge c=0.29, 2-bridge c=0.54, 3-bridge c=0.72, 4-bridge c=0.76
; Contradictory bridge (has-wings): freq 0.77->0.66, conf 0.76->0.79)