Text this: Inductive logic /