[
ELEMENT
]
IS OF
[
TYPE
] ( [
ONLY
] type ) | [
NOT
]
SUBSTITUTABLE AT ALL LEVELS