# BEH-EXH.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.

**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-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 )
```

### CheckDirection: Context

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

```Gen
context: CheckDirection

 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
```

### ActivateSyn: Episode

....

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

  in_context: ActivateSyn
  rf: ( active: 6x )

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

### DeActivateSyn: Episode

....

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

  in_context: DeActivateSyn
  rf: ( active: 6x )

   hypothesis: NOT (?? empty)
    action: [??? decrease]
     trace: None
```