[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.