Member predicate Public :: NeutralCallable :: hasProvenance
Holds if the neutral has provenance p
.
predicate
hasProvenance
(
Provenance
p
)