_:x  <http://rdf.hp.com/p-1>  _:z .