[ (?x http://example.com/RDF/ex#P ?y) (?y http://example.com/RDF/ex#P ?z) -> (?x http://example.com/RDF/ex#P ?z) ]