From 4c47b209694d23d044322b24ef2c6e0f17c5ded7 Mon Sep 17 00:00:00 2001
From: ocrampal <ocrampal@ocrampal.com>
Date: Fri, 13 Mar 2026 11:58:11 +0100
Subject: [PATCH] definizione tub intricati

---
 winnertakeall/BEH-EXH.md | 36 ++++++++++++++++--------------------
 winnertakeall/BEH-OUT.md |  3 +++
 2 files changed, 19 insertions(+), 20 deletions(-)

diff --git a/winnertakeall/BEH-EXH.md b/winnertakeall/BEH-EXH.md
index 15b6907..5022402 100644
--- a/winnertakeall/BEH-EXH.md
+++ b/winnertakeall/BEH-EXH.md
@@ -1,30 +1,25 @@
-# EXH-WTA.md
+# BEH-EXH.md
 
-## EXH-WTA: Container
+## BEH-EXH: Container
 
-**Exhitory Behavior**: (directly observable, excluding TUN e DEV).
+**Internal Exhitatory Behavior**: L'associazione PRE<->POST<->SYN concettuale, che verra' trasformata in attuale dall'interprete/enliver. Questo container viene invocato da una riga di espansione in BEH-WTA, quindi ha a disposizione BEH-AXO, BEH-BD e BEH-AST di riferimento. E quindi in enliving abbiamo a disposizione le BEH-PRE, BEH-POST e BEH-SYN attuali.
 
-Qui devo fare la distinzione fra il behavior su exhitation e inhibition (SOMA)
-
-L'associazione PRE<->POST fatta con SYN dall'interprete/enliver, e' possibile perche' in POST e PRE si fa riferimento a NT che vengono immessi in SYN. Ovviamente tutto concettuale, ma in enliving il concettuale viene attualizzato.
-
-Quindi deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre.
+**bind_elements**: questo dovrebbe dire all'enliver di mettere assieme gli elementi che sono citati. increase fa passare in actual qualcosa che era possible, perche' non si era raggiunto il fullness. E' una novita' perche' fin'ora avevamo fatto il bind in maniera implicita, in base alla espansione, quando ad esempio si espande  BEH-AXO da BEH-N. Qui invece si deve esplicitamente dire che BEH-PRE, BEH-POST e BEH-AXO sono intricati in maniera che possano scambiarsi gli NT.
 
 ```Gen
 
-container: BEH-WTA
- contained_by: WTA
+container: BEH-EXH
 
  tub_local:
   - ??? (fullness: 50x, active: 0x, emptiness: 0x) 
 
  tub_intricated:
+  - Beh-Pre (N/BEH-N/BEH-AXO/BEH-PRE)
+  - Beh-Post (N/BEH-N/BEH-BD/BEH-POST)
+  - Beh-Syn (AST/BEH/AST/BEH-SY)
+
   - GoodTraces ( contained_by: BEH-?? )
   - BadTraces ( contained_by: BEH-?? )
-  - pre
-  - post
-  - syn 
-  # qui vanno tutte le pre e post che fanno capo ad una Ast nella dichiarazione di relazione fatta in WTA
 
   context_intricated:
   - TunPossible ( contained_by: WTA )
@@ -37,7 +32,7 @@ Qui devo capire queste tracce chi le lascia e se sono esclusive?
 ```Gen
 context: CheckDirection
 
- contained_by: TUN-AST-SYN
+ contained_by: BEH-EXH
  in_context: TunPossible
  rf: 60x
 
@@ -54,14 +49,15 @@ context: CheckDirection
 
 ```Gen
 episode: activateSyn
-  contained_by: TUN-AST-SYN
+  contained_by: BEH-EXH
 
   in_context: TunPossible
   rf: ( active: 6x )
 
-   hypothesis: ( GoodTraces Full ) AND NOT ( fullSyn full )
-    action: [GoodTraces decrease, ]
-     trace: None
+   bind_elements: # 
+    hypothesis: ( GoodTraces Full ) AND NOT ( ??? full )
+      action: [pre increase, post increase, syn increase]
+      trace: None
 ```
 
 ### DeActivateSyn: Episode
@@ -70,7 +66,7 @@ episode: activateSyn
 
 ```Gen
 episode: deActivateSyn
-  contained_by: TUN-AST-SYN
+  contained_by: BEH-EXH
 
   in_context: ???
   rf: ( active: 6x )
diff --git a/winnertakeall/BEH-OUT.md b/winnertakeall/BEH-OUT.md
index e69de29..f2c3261 100644
--- a/winnertakeall/BEH-OUT.md
+++ b/winnertakeall/BEH-OUT.md
@@ -0,0 +1,3 @@
+# BEH-OUT.md
+
+credo che questo debba andare in org.