@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <ext-rules.n3#>.

:s0 :is [ :p1 :o1; :p2 :o2].
:s0 :p3 :o3.