Paste number 29394: make grddl-rule-test-pf.txt failure

Paste number 29394: make grddl-rule-test-pf.txt failure
Pasted by: sbp
2 years, 1 month ago
#swhack
Paste contents:
Raw Source | XML | Display As
$ make grddl-rule-test-pf.txt                       
python ../../../2000/10/swap/cwm.py grddl-rule-tests.n3 grddl-rules3.n3  \
--think  --filter=grddl-rule-goal.n3 --why >grddl-rule-test-pf.n3
PYTHONPATH=../../../2000/10/swap/.. python ../../../2000/10/swap/check.py --report grddl-rule-test-pf.n3 >grddl-rule-test-pf.txt
                                         Proof failed:  Can't find ({9}, log:implies, {17345200 grddl:transformation 17345328}) in evidence for
                Antecedent of rule:      @prefix : <http://www.w3.org/2000/10/swap/log#> .
                    @prefix dm: <http://www.w3.org/2000/10/swap/infoset/infoset-daml#> .
                    @prefix fn: <http://www.w3.org/2006/xpath-functions#> .
                    @prefix grddl: <http://www.w3.org/2003/g/data-view#> .
                    @prefix list: <http://www.w3.org/2000/10/swap/list#> .
                    @prefix run: <file:/.../WWW/2004/01/rdxh/grddl-rule-test-pf.n3#> .
                    
                     @forSome <file:/.../WWW/2004/01/rdxh/.run-1162846177.8684511p15017#_g62>,
                                <file:/.../WWW/2004/01/rdxh/.run-1162846177.8684511p15017#_g63> .
                      ( <http://www.w3.org/2004/01/rdxh/p3q-ns-example>
                        grddl:namespaceTransformation
                        <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> )
                         :_statement {<http://www.w3.org/2004/01/rdxh/p3q-ns-example>     grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
                        } .
                    
                    <file:/.../WWW/2004/01/rdxh/.run-1162846177.8684511p15017#_g63>     list:in  (
                        run:_g13 );
                         fn:namespace-uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example" .
                    
                    <file:/.../WWW/2004/01/rdxh/policy.p3q>     :uri  [
                             fn:doc  [
                                 dm:children  (
                                run:_g13 ) ] ] .
                    
                    <http://www.w3.org/2004/01/rdxh/p3q-ns-example>     :uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example";
                         grddl:result  [
                             :includes {<http://www.w3.org/2004/01/rdxh/p3q-ns-example>     grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
                            } ] .
                    
                
                Evidence:     @prefix : <file:/.../WWW/2004/01/rdxh/grddl-rule-test-pf.n3#> .
                    @prefix dm: <http://www.w3.org/2000/10/swap/infoset/infoset-daml#> .
                    @prefix fn: <http://www.w3.org/2006/xpath-functions#> .
                    @prefix grddl: <http://www.w3.org/2003/g/data-view#> .
                    @prefix list: <http://www.w3.org/2000/10/swap/list#> .
                    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
                    
                     @forSome :_g13,
                                :_g14 .
                    
                    "file:/.../WWW/2004/01/rdxh/policy.p3q"     fn:doc :_g14 .
                      ( <http://www.w3.org/2004/01/rdxh/p3q-ns-example>
                        grddl:namespaceTransformation
                        <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> )
                         log:_statement {<http://www.w3.org/2004/01/rdxh/p3q-ns-example>     grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
                        } .
                    
                    :_g13     list:in  (
                        :_g13 );
                         fn:namespace-uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example" .
                    
                    :_g14     dm:children  (
                        :_g13 ) .
                    
                    <file:/.../WWW/2004/01/rdxh/policy.p3q>     log:uri "file:/.../WWW/2004/01/rdxh/policy.p3q" .
                    
                    <http://www.w3.org/2004/01/rdxh/p3q-ns-example>     log:uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example";
                         grddl:result {<http://www.w3.org/2004/01/rdxh/p3q-ns-example>     grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
                        } .
                    {
                        <http://www.w3.org/2004/01/rdxh/p3q-ns-example>     grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
                        
                        }     log:includes {<http://www.w3.org/2004/01/rdxh/p3q-ns-example>     grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
                        } .
                    
                
                Bindings:{g4:_g_L43C13: "file....p3q", 17345232: "http...mple", g4:_g_L43C22: _g62, 17345168: li2, g4:_g_L47C17: {p3q-ns-example grddl:namespaceTransformation grokP3Q.xsl}, 17345136: _g63, 17345200: policy.p3q, 17345264: p3q-ns-example, 17345296: {p3q-ns-example grddl:namespaceTransformation grokP3Q.xsl}, 17345328: grokP3Q.xsl}
   Proof invalid:  
make: *** [grddl-rule-test-pf.txt] Error 255

This paste has no annotations.

Colorize as:
Show Line Numbers

Lisppaste pastes can be made by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively.