@prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix daml: <http://www.daml.org/2000/10/daml-ont#> .
     @prefix dpo: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix ex: <http://www.daml.org/2000/10/daml-ex#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
    {
        <theBible>     :includes {<God>     <#said> "Let there be light" .
            } .
        
        }     :implies {<#teste_1>     a <#success> .
        } .
    {
        <theBible>     :notIncludes {<God>     <#said> "Let there be light" .
            } .
        
        }     :implies {<#teste_2>     a <#FAILURE> .
        } .
    
    <#teste_1>     a <#success> .
    
    <theBible>     :includes {<God>     <#said> "Let there be light" .
        } .