Superfluous conformance requirement

"A terminal must not be marked as an attribute (@) (error S04)"
But it *cannot* be marked as an attribute, since it is ungrammatical. 

So I propose to replace this either with "Note that a terminal cannot be 
marked as an attribute (@)", or alternatively remove it altogether. Error 
S04 should then be removed.

Steven

Received on Wednesday, 25 May 2022 08:03:56 UTC