Zaslat SMS: Aspects of inductive logic