s an objective notion of interestingness. This objective notion is a weighted sum of two factors: • Compactness. • Surprisingness of truth value. Compactness is easy to understand: all else equal, a predicate embodied in a small Combo tree is better than a predicate embodied in a big one. There is some wo