---------------------
Backward rule example
---------------------

See https://www.w3.org/2000/10/swap/doc/tutorial-1.pdf page 17
