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