@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix str:  <http://www.w3.org/2000/10/swap/string#> .
@prefix xpath: <http://www.mnot.net/2002/02/18/cwm_xpath#> .

@prefix : <#>.

this log:forAll :s, :n, :t .


{ ("<h1>Bar<em>Foo</em></h1>" "//H1/EM/descendant::text()") xpath:matchHtmlFragment "Foo" } 
  log:implies 
{ :Test1 a :Success } . 


{ ("<h2>Success</h2>" "//H2/descendant::text()") xpath:matchHtmlFragment :s } 
  log:implies 
{ :Test2 :result :s. } .


{ ("<h3>first</h3>chaff<h3>second</h3>" "//H3/descendant::text()") xpath:matchHtmlFragment :s } 
  log:implies 
{ :Test3 :result :s } .


{ <http://www.cnn.com/> log:content :t .
  (:t "//DIV[@class='cnnMainT1Headline']/descendant::text()") xpath:matchHtml :s .
}
  log:implies
{ :Test4 :result :s } .