Envoyer par SMS: Knowledge representation and reasoning