@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/lf#>.

@forAll :S1, :S3, :O3, :S4, :O4, :O5, :O6, :O7.
{{:S1 :p1 :o1. :s2 :p2 :o2} :p3 :O3. :s4 :p4 :O4} :p5 {:s6 :p6 :O6}.
{{:S3 :p3 :O3. :S4 :p4 :O4} :p5 :O5} => {{:S4 :p7 :O7. :S3 :p8 :O5} :implies :O5}.