static LinkedHashSet<S> ai_parseTree_simplifiedTexts(PTElement e) {

  new LinkedHashSet<S> out;

  ai_parseTree_simplifiedTexts_collect(e, out);

  ret out;

}

svoid ai_parseTree_simplifiedTexts_collect(PTElement e, LinkedHashSet<S> out) {

  if (e == null) ret;

  if (e instanceof ChoosePart) {

    ai_Reconstructed r = e/ChoosePart.reconstruction;

    WeightedProduction prod = r.production;

    //print("Hint: " + prod.simplificationHint + " in prod: " + sfu(prod));

    //if (eq(prod.simplificationHint, "L")) out.add(r.a.text());

    //else if (eq(prod.simplificationHint, "R")) out.add(r.b.text());

    PTElement e1 = first(e.children), e2 = second(e.children);

    L<S> a = asList(ai_parseTree_simplifiedTexts(e1));

    L<S> b = asList(ai_parseTree_simplifiedTexts(e2));

    S hint = prod.simplificationHint;

    if (eqOneOf(hint, "L", "B")) insertFirst(b, "");

    else if (eqOneOf(hint, "R", "B")) insertFirst(a, "");

    //print("L " + className(e1) + " " + className(ai_parseTree_descendToComposite(e1)) + " " + r.a.text() + " => " + a);

    //print("R " + className(e2) + " " + className(ai_parseTree_descendToComposite(e2)) + " " + r.b.text() + " => " + b);

    for (S aa : a)

      for (S bb : b)

        out.add(trim(aa + " " + bb));

  } else

    for (PTElement child : unnull(e.children))

      ai_parseTree_simplifiedTexts_collect(child, out);

  // Add full text too

  out.add(e.text());

}