Characteristic predicate ScopeElement :: ScopeElement
ScopeElement
(
)