Characteristic predicate FunctionAccess :: FunctionAccess
FunctionAccess
(
)