[sc34wg3] TMCL: 4.4.19 OtherRoleConstraint

[Robert Barta]

4.4.19 OtherRoleConstraint

typos: two dots, several times.

.... the other must [be a] city

the writing of located_in is inconsistent in the example

Comment above the template does so not fit to the template

---

Text in 2, 3, 4, 5,  a bit thin.

--

Are the cardinalities REALLY necessary? Cannot they be captured by
another constraint?

--

In the example continent and region are never used. In fact the example
description does not have much in common with the example itself.

My best guess (http://en.wikipedia.org/wiki/Rorschach_inkblot_test) of
what this means is

   every $a  in // $$associationType,
         $r1 in $a -> $$roleType [ ^ $$topicType ]
   satisfies
      at least $$cardmin $r2 in $a -> $$otherRoleType
      satisfies
            $r2 isa $$otherTopicType
    & at most  $$cardmax $r2 in $a -> $$otherRoleType
      satisfies
            $r2 isa $$otherTopicType

But that could be completely off, too.
   

\rho

--
Austrian Research Centers, Environmental Monitoring Systems
http://www.smart-systems.at/rd/rd_environment_en.html