// 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;
}