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

:s a :Success.
{
    skolem:bn_5 :value ?U_0.
} <= {
    :s :value ?U_0.
}.
skolem:bn_5 a :Success.
