Invia SMS: Aspects of inductive logic /