#Processed by EYE v20.1020.2137 josd
#eye --nope example.n3 --pass

@prefix : <http://josd.github.io/eye/reasoning#>.

:marriedTo a :SymetricRelation.
:alice :marriedTo :bob.
:bob :marriedTo :alice.
{:alice :marriedTo :bob} :since "1999".
{:bob :marriedTo :alice} :since "1999".
:TEST :PASS 1 .
:TEST :PASS 2 .
:TEST :PASS 3 .

#2020-10-23T20:16:50.324Z in=8 out=8 ent=5 step=12 brake=2 inf=21244 sec=0.027 inf/sec=786815
#ENDS

