}
//
// START-Learner
public void train(DataSet ds) {
folDSDomain = new FOLDataSetDomain(ds.specification, trueGoalValue);
List<FOLExample> folExamples = new ArrayList<FOLExample>();
int egNo = 1;
for (Example e : ds.examples) {
folExamples.add(new FOLExample(folDSDomain, e, egNo));
egNo++;