!7

cmodule IWantYouToBePrelude > DynPrintLog {
  // the facts
  
  transient S facts = [[
    Computery is usery's assistant
    It is impossible that {Computery is usery's mother}
  ]];

  // the rules

  transient WordTokRule rule_iWantYouToBe = wordTokReplacerRule(
    "I want you to be my assistant", "assistant", "I want that {you are my assistant}");
    
  transient WordTokRule rule_useryWants = new WordTokRule("Usery wants that X", "X") {
    // { debug = true; }
    run {
      S x_simplified = simpleSpaces_nTok(getVar("X"));
      if (contains(facts, x_simplified))
        emit("But " + x_simplified + " already");
      else if (contains(facts, "It is impossible that " + curly(x_simplified)))
        emit("No way brother");
      else if (debug) print("Can't decide on: " + x_simplified);
    }
  };
  
  // rules by space
    
  transient MultiMap<S, WordTokRule> rulesForSpace = litmultimap(
    userSpace, ll(rule_iWantYouToBe),
    objectiveSpace, ll(rule_useryWants)
  );
  
  Set<S> rewriteInSpace(S space, Collection<S> inputs) {
    ret applyWordTokRules(rulesForSpace.get(space), inputs);
  }
  
  start-thread-printDone {
    new MultiSpaceReasoning1 mr;
    mr.addFacts(tlft_ciSet(facts));
    
    for (S input : ll("I want you to be my mother", "I want you to be my assistant")) {
      print_nlBefore(input);
      
      Set<ES> outputs = mr.reason_inputToAnswer(ext(input));
      pnlIndent("Bot space > ", outputs);
    }
  }
}