Characteristic predicate AssignableRead :: AssignableRead
AssignableRead
(
)