Characteristic predicate MemberVariable :: MemberVariable
MemberVariable
(
)