static L<ParseResult1> ai_parser1(S input, S category) {
  L<S> tokInput = javaTokWithAngleBracketsC(input);
  new L<ParseResult1> results;
  
  // TODO
  // Collection<S> literalExamples = combinedMechSetsCI(ai_mechListNamesForAngleBracketCategory(p));

  Collection<S> patterns = combinedMechSetsCI(ai_mechPatternListNamesForAngleBracketCategory(category));
    
  // Try matching pattern & input word-by-word
  for (S pat : patterns)
    ai_matchAngleBracketPattern_toParseResults(javaTokWithAngleBracketsC_addNumbers(pat), tokInput, results);
    
  // Try expanding patterns
  for (S pat : patterns)
    ai_matchAngleBracketPattern_spread_toParseResults(javaTokWithAngleBracketsC_addNumbers(pat), tokInput, results);

  // Go through sorted results, try to solve assumptions using subsolve
  for (ParseResult1 p : parseResultsByNumberOfAssumptions(results)) {
    new L<PairS> verified;
    for (PairS assumption : p.assumptions) {
      S cat = assumption.a, phrase = assumption.b;
      if (eq(cat, "<noun>"))
        for (S pat : mL("Noun phrase patterns")) {
          LPairS match = ai_matchAngleBracketPattern(javaTokWithAngleBracketsC_addNumbers(pat), javaTokWithAngleBracketsC(phrase));
          if (match != null && empty(match)) {
            //print("Verified: " + assumption);
            verified.add(assumption);
          }
        }
    }
    addIfNotNull(results, parseResultWithVerifiedAssumptions(p, verified));
  }

  ret parseResults_setCategory(category, takeFirst(10, parseResultsByNumberOfAssumptions(results)));
}