Envoyer par SMS: Caracterización deductiva de los árboles de forzamiento semántico