Execution

This section describes how to use the Rule Tracer and interpret the results.