Αποστολή με SMS: The NCL Natural Constraint Language