# excitation.md

## BEH-EXH: Container

**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.

BEH-AST mette a disposizione BEH-SYN, BEH-AXO BEH-PRE e BEH-BD BEH-POST. Fare un'associazione significa che nessuno dei tre e' in fullness.

**bind_elements**: questo deve 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-EXH

 tub_local: ??? (fullness: 50x, active: 0x, emptiness: 0x) 

 tub_intricated:
  - BEH-PRE from N/BEH-N/BEH-AXO/BEH-PRE
  - BEH-POST from N/BEH-N/BEH-BD/BEH-POST
  - BEH-SYN from AST/BEH/AST/BEH-SYN

  - GoodTraces ( contained_by: BEH-?? )
  - BadTraces ( contained_by: BEH-?? )

  context_intricated:
  - TunPossible ( contained_by: WTA )
```

### CheckSynModification: Context

Qui devo capire queste tracce chi le lascia e se sono esclusive?

```Gen
context: CheckSynModification

 contained_by: BEH-EXH
 in_context: Fixed
 rf: 60x

 condition: ( GoodTraces Full ) AND NOT ( BEH-SYN full ) AND NOT ( BEH-PRE full ) AND NOT ( BEH-POST full)
  out_context: ActivateSyn

 condition: ( BadTraces Full )
  out_context: DeActivateSyn
```

### Activate: Episode

Qui attiviamo la Syn collegando Pre e Post

```Gen
episode: activate
  contained_by: BEH-EXH

  in_context: ActivateSyn
  rf: ( active: 6x )

   
  hypothesis: ( GoodTraces full ) AND NOT ( ??? full )
    action:
      bind_containers: # Novita'
        [BEH-PRE increase, BEH-POST increase, BEH-SYN increase, GoodTraces decrease]
      trace: None
```

### DeActivate: Episode

Qui deattiviamo la Syn

```Gen
episode: DeActivate
  contained_by: BEH-EXH

  in_context: DeActivateSyn
  rf: ( active: 6x )

    hypothesis: (BadTraces  full)
      action:
        bind_containers: # Devo essere sicuro di eliminare i 3 che sono collegati, non a caso.
          [BEH-PRE decrease, BEH-POST decrease, BEH-SYN decrease, GoodTraces decrease]
      trace: None
```