static ExecutedRule nlLogic_executedRuleFromRuleWithParams(RuleWithParams r) {
  L<Exp> l = nlLogic_unrollAndApplyRuleWithParams(r);
  ExecutedRule e = ExecutedRule(r,
    nlLogic_certainOperatorArgs(l, 'output, 'say),
    nlLogic_certainOperatorArgs(l, 'fact),
    nlLogic_certainOperatorArgs(l, 'input));
  if (r instanceof FailedRule)
    e.remainingCondition = assertNotNull(r.remainingCondition);
  ret e;
}