Para toda a
ação
:
guarda
→ Condição inicial para a ação poder ser executada
efeito
→ Efeito da ação
frame conditions
→ Indicar quando algo não muda, sem isso, essa var seria imutável e podia mudar quando quisesse
reservations.als