XSB/examples/xmc/Rether
