To facilitate integration between Verification framework and the
rule implementations supplied by other components, the framework supplies
core Rule Artifacts. These artifacts contain abstract rule classes that
other components rule implementations must adhere to. This section
identifies and details such low level Rule Artifacts which will be
supplied as part of Verification framework.