a pastebin project

Untitled

  1. syosi@mr-burns:~/cvs-trunk/WWW/2000/10/swap/test/reason$ python ../../check.py --report /tmp/2.pf
  2. 1: @forAll :REGION, :WHERE, :WHO. @forSome foo:_g2 . gmp:dan a gmp:Man; gmp:home foo:_g2 . { gmp:dan gmp:home :WHERE . } log:implies {:WHERE gmp:in gmp:Texas . } . { :WHERE gmp:in :REGION . :WHO gmp:home :WHERE . } log:implies {:WHO gmp:homeRegion :REGION . } .
  3.  [by parsing <double.n3>]
  4.  
  5. 2: @forSome foo:_g2 . :dan :home foo:_g2 .
  6.  [by erasure from step 1]
  7.  
  8. 3: @forSome foo:_g2 . :dan :home foo:_g2 .
  9.  [by erasure from step 1]
  10.  
  11. 4: @forAll dou:WHERE . { :dan :home dou:WHERE . } log:implies {dou:WHERE :in :Texas . } .
  12.  [by erasure from step 1]
  13.  
  14. 5: ...
  15.  [by rule from step 4 applied to steps [3]
  16.   with bindings {'WHERE': '[...]'}]
  17.  
  18. 6: @forSome foo:_g2 . foo:_g2 :in :Texas .
  19.  [by erasure from step 5]
  20.  
  21. 7: @forAll :REGION, :WHERE, :WHO . { :WHERE gmp:in :REGION . :WHO gmp:home :WHERE . } log:implies {:WHO gmp:homeRegion :REGION . } .
  22.  [by erasure from step 1]
  23.  
  24. 8: :dan :homeRegion :Texas .
  25.  [by rule from step 7 applied to steps [2, 6]
  26.   with bindings {'REGION': '<file:///home/syosi/cvs-trunk/WWW/2000/10/swap/test/reason/gmpbnode#Texas>', 'WHO': '<file:///home/syosi/cvs-trunk/WWW/2000/10/swap/test/reason/gmpbnode#dan>', 'WHERE': '[...]'}]
  27.  
  28. 9: @forAll dou:REGION, dou:WHERE, dou:WHO. @forSome foo:_g2 . :dan a :Man; :home foo:_g2; :homeRegion :Texas . foo:_g2 :in :Texas . { :dan :home dou:WHERE . } log:implies {dou:WHERE :in :Texas . } . { dou:WHERE :in dou:REGION . dou:WHO :home dou:WHERE . } log:implies {dou:WHO :homeRegion dou:REGION . } .
  29.  [by conjoining steps [8, 1, 5]]
  30.  
  31.      @prefix : <file:///home/syosi/cvs-trunk/WWW/2000/10/swap/test/reason/double.n3#> .
  32.     @prefix gmp: <file:///home/syosi/cvs-trunk/WWW/2000/10/swap/test/reason/gmpbnode#> .
  33.     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
  34.  
  35.      @forAll :REGION,
  36.                 :WHERE,
  37.                 :WHO.
  38.          @forSome :_g_L3C17 .
  39.  
  40.     :_g_L3C17     gmp:in gmp:Texas .
  41.  
  42.     gmp:dan     a gmp:Man;
  43.          gmp:home :_g_L3C17;
  44.          gmp:homeRegion gmp:Texas .
  45.     {
  46.         gmp:dan     gmp:home :WHERE .
  47.  
  48.         }     log:implies {:WHERE     gmp:in gmp:Texas .
  49.         } .
  50.     {
  51.         :WHERE     gmp:in :REGION .
  52.         :WHO     gmp:home :WHERE .
  53.  
  54.         }     log:implies {:WHO     gmp:homeRegion :REGION .
  55.         } .

advertising

Create a Paste

Please enter your new post below (or upload a file instead):





Please note that information posted here will not expire by default. If you want it to expire, please set the expiry time above. If it is set to expire, web search engines will not be allowed to index it prior to it expiring. Items that are not marked to expire will be indexable by search engines. Be careful with your passwords.

worth-right
fantasy-obligation