@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.

{?LEMMA a r:Inference; r:gives ?GRAPH. ?GRAPH e:graphMember {?S ?P ?O}} => {?S ?P ?O}.
