# formulae-06.n3 - Nested forAll and forSome

@prefix : <http://example.org/#> .

{ @forSome :p . @forAll :q . :p :pred :q } 
   => { :s :p :o } .

# Note re-use of p again in the consequent