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 .

