// a, b, verdict
static L<T3<S>> ai_buParser_parseSimplifications(S text) {
  new L<T3<S>> l;
  for (S s : tlftj(text)) {
    L<S> tok = javaTokWithAngleBracketsC(s);
    S verdict = "?";
    if (l(tok) == 6 && eqOneOf(first(tok), "L", "K", "R"))
      verdict = popFirst(tok);
    if (l(tok) == 5)
      l.add(t3(tok.get(0), tok.get(2), verdict));
  }
  ret l;
}