[sc34wg3] TMCL: 4.4.10 NameConstraint

[Robert Barta]

Relative to

   http://kill.devc.at/system/files/tmcl.pdf

4.4.10 How is this intended? 

  A topicname constraint provides a way to constrain the type and
  cardinality of topic names for instances of a given topic type.

So should ALL names of a certain class be of this name type? So that
there can never be a name type used not allowed. And such names occur
at least M and at most N times in that topic?

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?

The latter would be

  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

--

And a better (documented) example would help.

--

And what should the * mean in TMCL

   NameConstraint (...., *, ....)

?

\rho