[sc34wg3] TMCL: 4.4.10 NameConstraint
Robert Barta
rho at devc.at
Fri Feb 15 03:44:30 EST 2008
On Fri, Feb 15, 2008 at 07:14:54AM -0000, Graham Moore wrote:
> For the specified topic type it must have the specified number of names
> of that given name type. Which I think is the same as...
>
> >> Or (more likely) should at least M and at most N times a name of this
> given type be used for a topic of a certain class?
Ok, then
> every $t in // $$type
> satisfies
> at least $$cardmin $n in $t / name
> satisfies $t >> types == $$nametype
> & at most $$cardmax $n in $t / name
> satisfies $t >> types == $$nametype
>
> or shorter
>
> every $t in // $$type
> satisfies
> at least $$cardmin $n in $t / $$nametype
> satisfies exist 1
> & at most $$cardmax $n in $t / $$nametype
> satisfies exist 1
does the job.
> And what should the * mean in TMCL
>
> NameConstraint (...., *, ....)
?
\rho
More information about the sc34wg3
mailing list