!7

concept Is {
  S a, b, mod;
}

module IsBot > DynAttractorBot {
  transient Set<S> linkWords = litciset("is", "are", "am", "ist", "sind", "bin", "bist", "seid");
  
  PairS splitIt(S s) {
    LS tok = wordTok(s);
    int i = -1;
    if (l(tok) == 2*2+1) // two words
      i = 3;
    else {
      L<Int> determiners = indicesOfAny(tok, mechCISet("Determiners"), 3);
      if (l(determiners) == 1)
        i = last(determiners);
    }
    
    ret i < 0 ? null : pair(joinSubList(tok, 1, i-1), joinSubList(tok, i, l(tok)-1));
  }
  
  void storeAnswer(PairS p, S mod, S huh) {
    if (p == null)
      emitAnswer(huh);
    else {
      Collection<S> mods = lookup(p.a, p.b);
      if (containsIC(mods, mod))
        emitAnswer("I know");
      else {
        uniqCI_sync Is(a := p.a, b := p.b, +mod);
        emitAnswer("Stored: " + p.a + " is " + p.b);
      }
    }
  }
  
  // returns mods
  Collection<S> lookup(S a, S b) {
    ret collect mod(findConceptsWhereCI(Is, +a, +b));
  }

  AttractorBot makeBot() {
    ret testBot(new SingleAttractorBot {
      PairS lastPair;
      
      void process(S s) {
        new Matches m;
        
        s = ai_userSpaceToObjective(s);
        print("Got objective space input: " + s);
        
        if "it is|he is|yes...|positive"
          storeAnswer(lastPair, 'yes, "Yes what?");
        
        LS tok = wordTok(s);
        S linkWord = second(tok);
        ret unless containedIn(linkWord, linkWords);
        
        // tautological case
        
        S s2 = joinSubList(tok, 3);
        if (matchDoubleRest("", s2))
          ret with emitAnswer("yes, obviously");
          
        PairS p = splitIt(s2);
        if (p == null) ret with emitAnswer("I can't parse that sentence");
        
        lastPair = p;
        S a = p.a, b = p.b;
        
        Collection<S> mods = lookup(a, b);
        if (nempty(mods))
          emitAnswer(join(" and ", mods));
        else
          emitAnswer(ai_objectiveSpaceToBot("I don't know if " + a + " " + linkWord + " " + b));
      }
    });
  }
  
  AttractorBot testBot(AttractorBot bot) {
    testAttractorBotResponses_noFail(bot,
      "is green green?", "yes, obviously",
      "is a man a child?", "I don't know if a man is a child",
      "is sleep pleasant", "I don't know if sleep is pleasant");
    ret bot;
  }
  
  start {
    dbIndexingCI(Is, 'a, Is, 'b);
  }
}