@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix v: <#>.
@prefix : <ef1#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.

<> dc:description """hmm... cheating: namespace bindings
	are accidently still around when parsing the string. """.

<#something> <#note>
  " log:forAll <mid:is@example> <#nifty>. ".

@forAll v:x, v:n, v:f, v:s, v:o.

{ v:x <#note> v:n.
  v:n log:n3ExprFor v:f.
  v:f log:includes
   { log:forAll  <mid:is@example> v:o.}
}
 log:implies
  { :test1 a :Failure;
      :witness v:o }.