!7

sclass MatchInput > DynPrintLogWithInput {
  start { dm_useLocallyCopiedMechLists(); }
  
  void update(S s) {
    print("\n> " + s);
    L<S> tokInput = printStruct(javaTokWithAngleBracketsC(s));
    PlanInMotion<S> plan = new(mech_englishSentencePatterns());
    L<Pair<S, L<PairS>>> results = new L; // pattern + match
    
    // Try matching pattern & input word-by-word
    for (S pat : plan.master())
      ai_matchAngleBracketPattern_toResults(pat, tokInput, results);
      
    // Try expanding patterns
    for (S pat : mech_englishSentencePatterns()) {
      LS tokPat = javaTokWithAngleBracketsC(pat);
      for (LS spreadInput : ai_spreadAllAngleVars(tokPat, tokInput))
        ai_matchAngleBracketPattern_toResults(pat, spreadInput, results);
    }

    // Go through sorted results, try to solve assumptions
    for (Pair<S, L<PairS>> p : sortedByLengthOfPairBList(results)) {
      new L<PairS> verified;
      for (PairS assumption : p.b) {
        S category = assumption.a, phrase = assumption.b;
        if (eq(category, "<noun>"))
          for (S pat : mL("Noun phrase patterns")) {
            LPairS match = ai_matchAngleBracketPattern(javaTokWithAngleBracketsC(pat), javaTokWithAngleBracketsC(phrase));
            if (match != null && empty(match)) {
              print("Verified: " + assumption);
              verified.add(assumption);
            }
          }
      }
      if (nempty(verified))
        addPair(results, p.a, listMinusList(p.b, verified));
    }

    for (Pair<S, L<PairS>> p : sortedByLengthOfPairBList(results))
      print("  [" + l(p.b) + "] " + ai_renderMatchWithQuestionMarks(p.b) + " | pattern " + quote(p.a) + " for input "  + quote(s));
  }
}