Substitutions:
{__:who = 2$_$4_:person. 2$_$4_:mailinglist = . 2$_$4_:person = . 2$_$4_:institution = . }.
N3Trace:
5 [:call {__:who :authenticated . }].
:alternatives = {{2$_$4_:person :member 2$_$4_:institution. 2$_$4_:institution :w3cmember . 2$_$4_:institution :subscribed 2$_$4_:mailinglist. }
}
:subtitutions = {{__:who = 2$_$4_:person. 2$_$4_:mailinglist = . }.}
:goalList = {{ . }
{__:who :authenticated . }
}
[:call {2$_$4_:person :member 2$_$4_:institution. }].
:alternatives = {{ :member . }
}
:subtitutions = {{__:who = 2$_$4_:person. 2$_$4_:mailinglist = . 2$_$4_:person = . 2$_$4_:institution = . }.}
:goalList = {{2$_$4_:person :member 2$_$4_:institution. }
{2$_$4_:institution :w3cmember . }
{2$_$4_:institution :subscribed 2$_$4_:mailinglist. }
}
[:call { :w3cmember . }].
:alternatives = {{ :w3cmember . }
}
:subtitutions = {{__:who = 2$_$4_:person. 2$_$4_:mailinglist = . 2$_$4_:person = . 2$_$4_:institution = . }.}
:goalList = {{ :member . }
{2$_$4_:institution :w3cmember . }
{2$_$4_:institution :subscribed 2$_$4_:mailinglist. }
}
[:call { :subscribed . }].
:alternatives = {{ :subscribed . }
}
:subtitutions = {{__:who = 2$_$4_:person. 2$_$4_:mailinglist = . 2$_$4_:person = . 2$_$4_:institution = . }.}
:goalList = {{ :w3cmember . }
{2$_$4_:institution :subscribed 2$_$4_:mailinglist. }
}
{:solution = {__:who = 2$_$4_:person. 2$_$4_:mailinglist = . 2$_$4_:person = . 2$_$4_:institution = . }.}.
Query:
{__:who :authenticated . }
Solution:
{ :authenticated . }