[sc34wg3] TMQL: Predicate invocation and scope

[Lars Heuer]

Hi Robert,

[...]
>> [ $a = member-of(member: $p, group: $g)]
>> > I know this doesn't work now. It's not even syntactically valid, as
>> > far as I know. But we could define this in such a way that it *would*
>> > work.
>> 
>> I don't know if it is worth, because we'd change the meaning of
>> predicate invocations seriously.

> Predicate invocations generate association items, so in
[...]

Yes, my fault, I thought pred-invocations bind $p and $g to each
possible combination and return that tuple. I wasn't aware that they
return the assoc items.

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>