Riorganizzazione codice Event-Condition con l'aggiunta di Expectation.
Possibilità di specificare condizioni e aspettativa in base a valori dei
fluenti in tutto l'ambiente.