Example of IBR XTriples