Puerta del Palacio de Sedeña, AREVALO