Let's move on: open issues about the syntax and semantics of the baseline

  1.  Somebody argues that the semantics of triple terms should not be injective.
  2.  Somebody wants to strengthen the unrestricted abstract syntax, to allow triple terms only in object position.
  3.  Somebody wants to weaken the well-formed abstract syntax, just to allow triple terms only in object position.
  4.  Somebody does not want to have the unrestricted syntax, but only the well-formed syntax.
  5.  Somebody wants to add a special rdf:instantiates predicate to deal with the case of triple terms whose structure is in triples in the graph.

My personal position is that the current baseline is fine as far as the above issues are concerned.
—e.