static F1<ExecutedRule, Map> itemToMap_ExecutedRule() {
  ret func(ExecutedRule r) -> Map {
    litorderedmap(
      Output := nullIfEmpty(join("|", r.output)),
      Facts := nullIfEmpty(join("|", r.facts)),
      "New Input" := nullIfEmpty(join("|", r.newInput)),
      "Failure Level" := nlLogic_failureLevelString(r),
      "Satisfied Conditions" := empty(r.satisfiedConditions) ? null : join(" && ", allToString(r.satisfiedConditions)),
      "Remaining Condition" := strOrNull(r.remainingCondition),
      "Rule ID" := r.ruleID(),
      Details := r.rule)
  };
}