# ---------
# Issue 118
# ---------
#
# See https://github.com/eyereasoner/eye/issues/118

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/d983461b-11b7-4e52-89c1-328e91bf1de1#>.
@prefix : <http://example.org/#>.

:s :value 1 .
:s :copy skolem:bn_5.

_:bng_1 log:implies _:bng_2.

_:bng_1 {
    var:s :value var:value.
}

_:bng_2 {
    var:s a :Success.
}

_:bng_3 log:implies _:bng_4.

_:bng_3 {
    :s :copy var:o.
}

_:bng_4 {
    _:bng_5 log:isImpliedBy _:bng_6.
}

_:bng_5 {
    var:o :value var:value.
}

_:bng_6 {
    :s :value var:value.
}

# query
_:bng_2 log:impliesAnswer _:bng_2.
