@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>.
@prefix : <http://example.org/#>.

:sun :is :shining.

{
    :sun :is :shining.
} => {
    skolem:y :is :happy.
}.

{
    ?y :is :happy.
} => {
    :This :is :Working.
}.

# query
{
    :This :is :Working.
} =^ {
    :This :is :Working.
}.
