Update especificacao.sable

Novas correções em expressão lógica