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