static S ai_renderParseResult(ParseResult1 p) {
  ret p == null ? "-" : "[" + l(p.assumptions) + ", " + p.category + "] " + joinNemptiesWithComma(ai_renderMatchWithQuestionMarks(p.assumptions), ai_renderMatch(p.matches)) + " | pattern " + quote(joinWithSpace(p.pat)) + " for input "  + quote(joinWithSpace(p.input)));
}