// allows skipping patterns when they don't apply
concept MatchLearner {
  S pattern;
  SS examples = mapInConcept(this, litorderedmap()); // maps to 'assumed, 'confirmed or 'rejected
}