static Exp nlLogic_rawSentencesToFacts(Exp e) {
  ret nlLogic_transformShallow(e, nlLogic_rawSentencesToFacts_f());
}

static IfThen nlLogic_rawSentencesToFacts(IfThen rule) {
  ret nlLogic_transformShallow(rule, nlLogic_rawSentencesToFacts_f());
}

static F1<Exp> nlLogic_rawSentencesToFacts_f() {
  ret func(Exp e) -> Exp {
    if (e instanceof Sentence2)
      ret Func('fact, e);
    ret e;
  };
}