Characteristic predicate ElementNode :: ElementNode
ElementNode
(
)