_:node1 <http://www.w3.org/2000/10/swap/log#implies> _:node2 .