@prefix : <#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix string: <http://www.w3.org/2000/10/swap/string#> .
@prefix ntp: <http://infomesh.net/2002/ntp#> .

this log:forAll :doc , :content , :t , :re , :triples , :moreTriples , :p .

<test.nt> a :DocumentToParse .
:Term = """(?:<.*?>|_:\\S+|\\?\\S+|"(?:\\\\"|[^"])*")[ \\t]""" .

{ :doc a :DocumentToParse . :content is log:content of :doc . 
  :Term = :t . ("([ \\t]*" :t :t :t "*.[ \\t]*)") string:concatenation :re .
  (:content :re) ntp:findall :triples 
} log:implies { :doc :hasTriples :triples } .

{ :doc :hasTriples :triples . 
  :triples daml:first :t; daml:rest :moreTriples . 
  :t log:rawType log:Literal . 
  :moreTriples log:notEqualTo daml:nil 
} log:implies { :doc :hasTriples :moreTriples; :hasTriple :t } .

{ :doc :hasTriple :t . :t ntp:strToTriple :p 
} log:implies { :t a :Added } .