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