// Create a formal context whose attributes are of type String, and whose objects have
  // identifiers of type String
  FormalContext<String,String> context = new FormalContext<String,String>();

  // Create an expert for this context
  MyExpertClass<String> expert = new MyExpertClass<String>(context);

  // Add attributes to this context
  context.addAttribute("a");
  context.addAttribute("b");
  context.addAttribute("c");

  // Set expert for this context
  context.setExpert(expert);
  // Context listens to the actions of the expert
  expert.addExpertActionListener(context);

  // Create an expert action for starting attribute exploration
  StartExplorationAction<String,String,FullObject<String,String>> action =
          new StartExplorationAction<String,String,FullObject<String,String>>();
  action.setContext(context);
  // Fire the action, exploration starts...
  expert.fireExpertAction(action);

  // Create a set of implications for the above context. Attributes are of type String
  ImplicationSet<String> = new ImplicationSet<String>(context);

  // Create a new implication with empty premise and conclusion
  Implication<String> imp = new Implication<String>();

  // Add attribute "a" to the premise
  imp.getPremise().add("a");

  // Add attribute "b" to the conclusion
  imp.getConclusion().add("b");

  // Add this implication to the implication set
  implications.add(imp);

  // Compute the next-closed set after mySet, and update mySet
  mySet = implications.nextClosure(mySet);