I would prefer quantifier-range first, or quantifier-domain second.
Thanks
-----Original Message-----
From: Steven Legg [mailto:]
Sent: Wednesday, October 30, 2013 10:08 PM
To: Tolbert, John W
Cc:
Subject: Re: [xacml] Groups - XACML v3.0 Related and Nested Entities Profile Version 1.0 uploaded
On 23/10/2013 2:26 PM, Steven Legg wrote:
>> Given that "domain" has fairly standard meaning in IT, would it be possible to use the term "scope" instead? I think it would work in this context, and prevent unnecessary confusion. "Realm" also might be a less-used and less confusing term, but I think "scope" fits best.
>
> Domain of discourse is what it's called in the terminology of
> existential and universal quantification, which I shortened to "domain". Would "domain of discourse"
> or "quantifier domain" work for you ?
How about "range" (of the quantified variable) ?
Regards,
Steven
