Member predicate Modifiable :: isReified
Holds if this element has a reified
modifier.
predicate
isReified
(
)