Differentiable Inductive Logic Programming for Structured Examples