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

<> log:forAll <#x>.

<data:a> a :conceptD.
<data:b> a :conceptC.

 {<#x> a :conceptD.} log:implies
{<#x> a :conceptC.}.

 {<#x> a :conceptC.} log:implies
{<#x> a :conceptD.}.