@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <simulteq.axiom.n3#>.

{{:u :is :x} :simult {:v :is :y}} log:forSome :x, :y.