[ELEMENT] IS OF [TYPE] ( [ONLY] type ) [[NOT] SUBSTITUTABLE AT ALL LEVELS]
For information on the symbols and conventions of Backus-Naur Form (BNF) syntax, see Appendix A.