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) {
  e = ai_parseTree_getToChoicePoint(e);
  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));
    
    print(className(ai_parseTree_getToChoicePoint(e1)) + " " + r.a.text() + " => " + a);
    print(className(ai_parseTree_getToChoicePoint(e2)) + " " + r.b.text() + " => " + b);
    
    for (S aa : a)
      for (S bb : b)
        out.add(aa + " " + bb);
    
    // Add full text too
    out.add(e/ChoosePart.word.text());
  }
}