Re: TMCL role combination question
Robert Cerny <[email protected]>
| Newsgroups | gmane.text.xml.xtm.general |
|---|---|
| Message-ID | <[email protected]> |
Am 04.02.2011 um 10:21 schrieb Lars Marius Garshol: > * Robert Cerny >> >> Let's take the example from [1] which restricts 'containment' to: >> >> city (in) province (in) country (in) continent >> >> If all these topic types have a common super type A and only A has topic role constraints for containment, do the role combination constraints still kick in and if so why? > > Basically, in TMCL, all the constraints that you assert are verified. End of story. > > So, yes, the combination constraints kick in, and they do that because there's no logic anywhere that looks to see if they might possibly be turned off by other constraints. I see. Thanks for the clarification. Yet, it is still better to use distinct topic role constraints, because otherwise i cannot prohibit 'continent' from being a 'containee'. Because in the above model both topic role constraints (for container and containee) work on the same (abstract) super type A. Correct? Robert PS: Sorry, Lars! You get this twice.