[sc34wg3] TMCL: 4.4.8 Subject Identifier Constraint

[Robert Barta]

Ad 4.4.8 in

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

First, the example uses

  subjectidentifier-constraint

but that seems to be the tmcl: type. The template's type is
SubjectIdentifierConstraint.

--

Then, you are using ?sic1 as identifier for this constraint invocation,
but according to CTM this is _global_, i.e. there could only be one!

  http://kill.devc.at/system/files/ctm.html#sec-topic-ref

  "If the named-wildcard is used again, the same topic is reused."

--

Then, '*' is actually not a regular expression, is it?  That is
globbing.  '.*' would be regexp.

--

Then, for this Subject Identifier Constraint (4.4.8), is it actually
possible to omit parts of it? Say,

  SubjectIdentifierConstraint (Person, 3, , '.*')

to omit the upper bound. Or to omit the regexp?

--

If not, then the TMQL expression could look like this

every $t in // $$topictype
satisfies
     at least $$cardmin $si in $t ~
        satisfies $si =~ $$regexp
   & at least $$cardmax $si in $t ~
        satisfies $si =~ $$regexp

I am using $$ to prefix the Meta-variables. They become constants in
the TMQL query after inserting.

\rho