Αποστολή με SMS: Learning Domain Theories