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

this log:forAll :x , :y, :z , :p, :doc .

{ (("#" "FragId") "http://example.org/") lexp:cons :x } log:implies 
   { :x a :Cons } .

{ (("http://example.org/" "#") "blargh") lexp:append :x } log:implies 
   { :x a :Append } .

{ (("p" "q" "r" "s" "t" "u" "v") "2" "5") lexp:slice :x } log:implies 
   { :x a :SliceRT } .

{ (("E" "x" "t") ("e" "n" "d")) lexp:extend :x } log:implies { :x a :Extend } .

{ ("x" "y" "z") lexp:pop :x } log:implies { :x a :Pop } .

{ ("x" "z" "j" "b" "n") lexp:sort :x } log:implies { :x a :Sort } .

{ (("x" "y" "z") "1") lexp:get :x } log:implies { :x a :Get } .