keel.Algorithms.Lazy_Learning.Deeps