Update winnertakeall.md

modules/winnertakeall/winnertakeall.md

@@ -94,7 +94,7 @@ ExcitationPossible
     condition: ???
       out_context: *ActivateAstroPostPre
 
-    condition: ( BadTraces fullness )
+    condition: BadTraces fullness 
       out_context: *DeActivateAstroPost
 ```
 
@@ -109,9 +109,9 @@ ExcitationBind
 
   in_context: *ActivateAstroPostPre
 
-    hypothesis: ( GoodTraces fullness )
+    hypothesis: GoodTraces fullness
-      bind: [collection.pre, collection.post, collection.astro ]
+      bind: ( collection.pre, collection.post, collection.astro )
-      trace: #qui possiamo lasciare le tracce di un tentativo di attivare non possibile, che dovrebbe andare all'ASTRO
+        trace: #qui possiamo lasciare le tracce di un tentativo di attivare non possibile, che dovrebbe andare all'ASTRO
 ```
 
 ###### ClearTraces
@@ -123,7 +123,7 @@ ClearTraces
 
     hypothesis: GoodTraces NOT empty
       action: GoodTraces decrease
-      trace: None?
+        trace: None?
 ```
 
 ##### *DeActivateAstroPostPre
@@ -139,7 +139,7 @@ ExcitationUnbind
 
   in_context: &DeActivateSynPostPre
   
-    hypothesis: (BadTraces fullness)
+    hypothesis: BadTraces fullness
-      unbind: [collection.pre, collection.post, collection.astro]
+      unbind: ( collection.pre, collection.post, collection.astro )
-      trace: Qui non dovrebbe arrivare se ci sono tracce di BadTraces, generate da synapsi attive
+        trace: Qui non dovrebbe arrivare se ci sono tracce di BadTraces, generate da synapsi attive
 ```