[sc34wg3] TMQL: Predicate invocation and scope

[Robert Barta]

On Tue, Jul 01, 2008 at 06:21:33PM +0200, Lars Heuer wrote:
> Hi Robert,
> 
> [...]
> >> IMO it would be nice if the user can constrain the scope of a
> >> predicate-invocation, like:
> >> 
> >>      member-of[@year-1969](member: $p, group: $g)
> >> 
> >> Otherwise the user has to fall back to path expressions and cannot use
> >> the (more readable) predicate invocations.
> 
> > Have you considered how many different combinations there are for
> > filtering scopes?
> 
> No, but I don't understand why that shortcut notation would introduce
> problems which currently do not exist. If the user rewrites the
> predicate-invocation into a path-expression, the scope must be
> considered, too.

That is not the problem, ... but I do not want to sidetrack here.

What you want above can be achieved (at least following the grammar)
with

   ( member-of (member: $p, group: $g) ) [@year-1969]

Is this short enough? And the [ ... ] does not need to be "another
shortcut".

\rho