static ExecutedRule nlLogic_executedRuleFromRuleWithParams(RuleWithParams r) {
  L<Exp> l = nlLogic_unrollAndApplyRuleWithParams(r);
  ret ExecutedRule(r,
    nlLogic_certainOperatorArgs(l, 'output, 'say),
    nlLogic_certainOperatorArgs(l, 'fact),
    nlLogic_certainOperatorArgs(l, 'input));
}