(j3.2006) Wording of 7.2.1.2p1(8) is not confusing and is correct

[Malcolm Cohen]

<<<
7.2.1.2p1(8) says "if the variable is of derived type each length type
parameter of the variable shall have the same value as the corresponding
type parameter of expr unless the variable is allocatable, is not a
coarray, and its corresponding type parameter is deferred."
>>>

Seems pretty straightforward to me.

<<<
By applying de Morgan's theorem to "unless,"
>>>

You cannot do that.  The "unless" is not part of a logical formula!  It is part 
of the "shall ... unless" requirement.

<<<
this seems to allow a
length type parameter to have a different value if the variable is not
allocatable, or it is a coarray, or the corresponding type parameter is
not deferred.
>>>

No it does not.  It states that it may only have a different value if all those 
conditions are satisfied.

<<<
If so (I might have read it perversely wrongly),
>>>

That is not what the words mean in English.

> maybe it should be something like

No.  Just no.

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo.