!7

static new L<S> inferred;

p-subst {
  aiEnhancements();
  for (Lisp l : parsedTrueStatements_cached())
    if (l.is("oxxavewomeqofkmi")) {
      Lisp c = first(l);
      for (Lisp a : dropFirst(l))
        add(lisp("lezvyibhouajgsrs", c, a));
    }
  if (nempty(inferred)) awt {
    showControls(jbutton("Add " + n(inferred, "statements"), r-thread "Adding Truth" {
      addTruth(inferred);
    }));
  }
}

svoid add(Lisp l) {
  S s = clUnparse(l);
  if (setAdd(inferred, s)) {
    //print("  => " + l);
    print("  => " + conceptLanguageToEnglish(s));
    print("  //   " + s);
  }
}