sclass MultiSpaceReasoning1 {
  // spaces & names
  
  sS objectiveSpace = 'objective, computerSpace = 'computer, userSpace = 'user;
  S userName = "usery", computerName = "computery";
  
  int stepLimit = 1000;
  
  new MultiMap<S, IAttractor> rulesForSpace;
  bool debug;
  
  Set<ES> rewriteInSpace(S space, Collection<ES> inputs) {
    ret applyAttractors_es(rulesForSpace.get(space), inputs, max := stepLimit);
  }
  
  Collection<ES> reason_inputToAnswer(S input) {
    ret reason_inputToAnswer(ll(ext(input)));
  }
  
  Collection<ES> reason_inputToAnswer(Collection<ES> inputs) {
    // first, rewrite in user space
    Set<ES> outputs = rewriteInSpace(userSpace, inputs);
    if (debug) pnlIndent("User space > ", outputs);
    
    // translate to objective space
    Collection<ES> outputs2 = ai_spaceToSpace_es(userSpace, objectiveSpace, outputs, +computerName, +userName);
    if (debug) pnlIndent("Translated to objective space > ", outputs2);
 
    // rewrite in objective space
    Collection<ES> outputs3 = rewriteInSpace(objectiveSpace, outputs2);
    if (debug) pnlIndent("Objective space > ", outputs3);
    
    // translate to computer space
    Collection<ES> outputs4 = ai_spaceToSpace_es(objectiveSpace, computerSpace, outputs3, +computerName, +userName);
    if (debug) pnlIndent("Bot space > ", outputs4);
    
    ret outputs4;
  }
  
  <A extends IAttractor> void addRules(MultiMap<S, A> mm) {
    rulesForSpace.putAll((MultiMap) mm);
  }
}