Revised Owl-S surface syntax

I've attached a slightly revised version of the Owl-S surface-syntax 
definition.  It now includes syntax for more control constructs:

split+join is written    p1 |> p2 |> ... |>pK
split is written     p1 |< p2 |< ... |< pK
anyord is written   p1 |; p2 |; ... |; pK
if-then-else is written
      if exp then pT else pF

Suggestions for alternative notations are welcome.  Maybe two vertical 
bars to suggest parallelism more emphatically?  ||; or |;| ?

Also, the parser for the Lexiparse grammar formalism I use is now 
available (as an "alpha" release) at 
http://www.cs.yale.edu/homes/dvm/#software.  You can use it to read the 
files owl-s-syn.lisp and owl-s-rdf.lisp, then parse the surface 
representation and convert it to Owl/RDF.

     -- Drew McDermott
  Yale CS Department