Title: Logic for learning
Subtitle: learning comprehensible theories from structured data