Hello Yoshito, What the spec tries to say is something like this: 1) If a <segment> does not have <target>, the only possible value for state is initial 2) If <target> is present in <segment>, the value of state cannot be initial. I really don't like how the _expression_ if and only if is used in the specification. It is not as clear as what you can express with two conditions like the ones above. I don't think state can be explicitly set to initial when there is a <target> because the target must contain a translation for the sibling <source>, which means it can't be empty and therefore it can't be in initial state. And you are probably right about the errors in the examples. We need to validate them all. Regards, Rodolfo -- Rodolfo M. Raya Maxprograms
http://www.maxprograms.com