Acoes semanticas na regra tipo