# formulae-10.n3 - Cf. mid:41EF204C.9010708@mit.edu

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

{@forAll :x . :x :a :b} :v :c .