!7

/*

*/

concept Example {
  S text;
  bool pos;
}

concept Pattern {
  S text;
  <Example> solvedExamples;
}

cmodule PatternMakerSpike {
  transient Concepts cc;
  
  start-thread {
    cc = new Concepts;
    
  }
}