Αποστολή με SMS: The logic of knowledge bases /