@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

{?A owl:equivalentClass ?B} => {{?X a ?A} => {?X a ?B}}.
{?A owl:equivalentClass ?B} => {{?X a ?B} => {?X a ?A}}.
