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 TUN-WTA-PRE-POST deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre.
```Gen
modulator: TUN-WTA-PRE-POST
contained_by: TUN-WTA
modulates:
- AST/expansion/BEH-SYN
- N/AXO/expansion/BEH-PRE
- N/BD/expansion/BEH-POST
tub_modulation:
- pre
- post
- syn
# qui vanno tutte le pre e post che fanno capo ad una Ast nella dichiarazione di relazione fatta in WTA
tub_local:
- ??? (fullness: 50x, active: 0x, emptiness: 0x)
tub_intricated:
- GoodTraces ( contained_by: BEH-?? )
- BadTraces ( contained_by: BEH-?? )
context_intricated:
- TunPossible ( contained_by: TUN-AST )
```
### CheckDirection: Context
Qui devo capire queste tracce chi le lascia e se sono esclusive?
```Gen
context: CheckDirection
contained_by: TUN-AST-SYN
in_context: TunPossible
rf: 60x
condition: ( GoodTraces Full ) AND NOT ( fullSyn full )