Member predicate Configuration :: allowImplicitRead
Holds if an arbitrary number of implicit read steps of content c
may be
taken at node
.
predicate
allowImplicitRead
(
Node
node
,
ContentSet
c
)