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 . }