PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX : <http://eulersharp.sourceforge.net/try#>

{   ?U e:csvTuple (?SID ?P ?A ?O ?C).
} <=
{   ?SID ?P ?O.
    ?SCOPE e:optional {?A :b ?C}.
}.

