Adicionada a semantica para mais algumas regras