// matches first condition, leaves rest in MatchedRule

static L<RuleEngine2_MatchedRule> ai_ruleEngine2_rulesForInput_4(RuleEngine2 engine, SS inputsByType) {

  new L<RuleEngine2_MatchedRule> l;

  for (RuleEngine2.Rule rule : engine.rules) {

    TextAndType in = first(rule.insWithType);

    S cond = in.text;

    S tokenize = or(matchAny_firstGroup("tokenize with *", rule.comments), f javaTokNPunctuationWithBrackets);

    LS tokC = (LS) callAndMake(tokenize, cond);

    S input = inputsByType.get(in.type);

    if (input == null) continue;

    LS tokI = (LS) callAndMake(tokenize, input);

    tokI = ai_applyWordSplitPattern1(tokC, tokI);

    SS map = zipTwoListsToCIMap_strict_withoutEquals(tokC, tokI);

    if (map == null) continue;

    //print(map + " | " + cond + " | " + rule.vars);

    final new RuleEngine2_MatchedRule matched;

    matched.rule = rule;

    matched.map = map;

    matched.matchedLines.add(pair(tokC, tokI));

    matched.tokenizationFunction = tokenize;

    matched.remainingConditions = nullIfEmpty(map(dropFirst(rule.in), func(S s) -> S { matched.applyMappingTo(s) }));

    matched.remainingConditionsWithType = nullIfEmpty(map(dropFirst(rule.insWithType), func(TextAndType in) -> TextAndType { TextAndType(matched.applyMappingTo(in.text), in.type) }));

    Map<PairS, Int> qualities = ai_ruleEngine2_mappingQualities(rule);

    for (S a, b : map) {

      mapPut(matched.mappingQuality, a, qualities.get(pair(a, b)));

    }

    l.add(matched);

  }

  ret l;

}