Email Record: Caracterización deductiva de los árboles de forzamiento semántico