## ----setup, include=FALSE-----------------------------------------------------
knitr::opts_chunk$set(collapse = TRUE, comment = "#>", eval = FALSE)

## ----rules--------------------------------------------------------------------
# source(file.path("scripts", "04_create_VARDOM_and_RULES.R"))
# stopifnot(all(file.exists(file.path(config$rules_output_dir,
#                                     c("VARDOM.dat", "RULES.dat", "record_layout.csv")))))

## ----horn---------------------------------------------------------------------
# source(file.path("scripts", "05_validate_horn_theory.R"))