Pošljite SMS: Caracterización deductiva de los árboles de forzamiento semántico