From: Petra M. <Pet...@ec...> - 2010-09-19 23:21:16
|
Hi phiroc, You wrote: > In the following section, I define the > 'speaks' relation twice, once in the CountryLanguage schema > and once in the LatinIsNotASpoken schema, because > I couldn't find a way to make it global in Eclipse CZT. Axiomatic definitions are used to define global relations like this. > I tried adding it after [LANGUAGE] basic type, but > to no avail, because CZT assumed that was a comment. I am not quite sure which mark-up you are using. If you are using Unicode, you need special box character to introduce the axiomatic paragraph: ╷ DECLS | PREDS └ > [COUNTRY] > [LANGUAGE] > ... add 'speaks' here? Yes, that's the right place to put it but I still don't know what mark-up you are using. > Furthermore, is there a special character in Z which lets > you create commments? You can write text/comments anywhere outside a Z paragraph but not within a Z paragraph. Petra |