Re: Presentation Syntax

Michael Kifer wrote:
> [...] This is what I was
> planning to use for aggregates (I proposed this several months ago in an email)
> and for shorthands like  a[b->c b->d] == a[b-> {c d}]


Does == mean equivalent?

If we do something like this, how do we deal with set-valued attributes?

I mean: is a[b->{c d} b->{e f}] equivalent to a[b->{c d e f}] or a[b->{{c d}{e f}}] or a[b->{c d {e f}}] etc?

(Btw, this is another form of the question I had in mind with what you called my "puzzle" about a[b->a.b], in [1]).

Cheers,

Christian

[1] http://lists.w3.org/Archives/Public/public-rif-wg/2009Mar/0009.html