.. _backward-chaining rule: `backward-chaining rule syntax`_
.. _forward-chaining rule: `forward-chaining rule syntax`_
.. _KRB files: index.html#lexical-structure
.. _pattern: `pattern syntax`_
.. _pattern variable: `pattern variable syntax`_
.. _premise: `premise syntax`_
