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