Um modelo lógico da Rede Cegonha