static Exp nlLogic_rawSentencesToFacts(Exp e) {
  ret nlLogic_transformShallow(e, func(Exp e) -> Exp {
    if (e instanceof Sentence2)
      ret Func('fact, e);
    ret e;
  });
}