#Processed by Id: cwm.py,v 1.87 2002/02/22 05:18:55 timbl Exp 
        #    using base file:/home/lexp.n3
        
#  Notation3 generation by
#       notation3.py,v 1.103 2002/02/22 05:18:55 timbl Exp

#   Base was: file:/home/lexp.n3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix lexp: <http://infomesh.net/info/lexp#> .
     @prefix string: <http://www.w3.org/2000/10/swap/string#> .
    
    this     :forAll <#doc>,
                <#p>,
                <#x>,
                <#y>,
                <#z> .
    
    "y"     a <#Get> .
    
    "z"     a <#Pop> .
    {
        
          (  (
                "#" 
                "FragId"  )
            "http://example.org/"  )
             lexp:cons <#x> .
        
        }     :implies {<#x>     a <#Cons> .
        } .
    {
        
          (  (
                "p" 
                "q" 
                "r" 
                "s" 
                "t" 
                "u" 
                "v"  )
            "2" 
            "5"  )
             lexp:slice <#x> .
        
        }     :implies {<#x>     a <#SliceRT> .
        } .
    {
        
          (  (
                "E" 
                "x" 
                "t"  )
             (
                "e" 
                "n" 
                "d"  ) )
             lexp:extend <#x> .
        
        }     :implies {<#x>     a <#Extend> .
        } .
    {
        
          ( "x" 
            "y" 
            "z"  )
             lexp:pop <#x> .
        
        }     :implies {<#x>     a <#Pop> .
        } .
    {
        
          ( "x" 
            "z" 
            "j" 
            "b" 
            "n"  )
             lexp:sort <#x> .
        
        }     :implies {<#x>     a <#Sort> .
        } .
    {
        
          (  (
                "x" 
                "y" 
                "z"  )
            "1"  )
             lexp:get <#x> .
        
        }     :implies {<#x>     a <#Get> .
        } .
    {
        
          (  (
                "http://example.org/" 
                "#"  )
            "blargh"  )
             lexp:append <#x> .
        
        }     :implies {<#x>     a <#Append> .
        } .
      ( "E" 
        "x" 
        "t" 
        "e" 
        "n" 
        "d"  )
         a <#Extend> .
      ( "b" 
        "j" 
        "n" 
        "x" 
        "z"  )
         a <#Sort> .
      ( "http://example.org/" 
        "#" 
        "blargh"  )
         a <#Append> .
      ( "http://example.org/" 
        "#" 
        "FragId"  )
         a <#Cons> .
      ( "r" 
        "s" 
        "t"  )
         a <#SliceRT> .
    
#ENDS