@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/lf#>.

{?X :implies ?Y} => {?X :implies ?Y}.