@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix p: <https://eyereasoner.github.io/eye/reasoning/preduction#>.
@prefix : <https://eyereasoner.github.io/eye/reasoning#>.

{
    {?A :accept true} <= ?B.
    {{?A :accept true} <= ?B} p:preduce ?C.
    ?C e:graphMember {?S ?P ?O}.
} => {
    ?S ?P ?O.
}.
