sclass MultiSpaceReasoning1 {
  // spaces & names
  
  sS objectiveSpace = 'objective, computerSpace = 'computer, userSpace = 'user;
  S userName = "usery", computerName = "computery";
  
  //new Set<ES> facts;
  new MultiMap<S, WordTokRule> rulesForSpace;
  
  Set<ES> rewriteInSpace(S space, Collection<ES> inputs) {
    ret applyWordTokRules_es(rulesForSpace.get(space), inputs);
  }
  
  Collection<ES> reason_inputToAnswer(Collection<ES> inputs) {
    // first, rewrite in user space
    Set<ES> outputs = rewriteInSpace(userSpace, inputs);
    pnlIndent("User space > ", outputs);
    
    // translate to objective space
    Collection<ES> outputs2 = ai_spaceToSpace_es(userSpace, objectiveSpace, outputs, +computerName, +userName);
    pnlIndent("Objective space > ", outputs2);
 
    // rewrite in objective space
    Collection<ES> outputs3 = rewriteInSpace(objectiveSpace, outputs2);
    pnlIndent("Objective space > ", outputs3);
    
    // translate to computer space
    Collection<ES> outputs4 = ai_spaceToSpace_es(objectiveSpace, computerSpace, outputs3, +computerName, +userName);
    pnlIndent("Bot space > ", outputs4);
    
    ret outputs4;
  }
  
  /*void addFacts(Iterable<S> l) {
    addAll(facts, mapExt(l));
  }*/
  
  void addRules(MultiMap<S, WordTokRule> mm) {
    rulesForSpace.putAll(mm);
  }
}