W02-2012 logical learning space , since a CG-based learner needs to induce just a single
hide detail