[sc34wg3] TMCL: 4.4.10 NameConstraint

[Robert Barta]

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