Member predicate SpecificInstanceInternal :: subscriptUnknown
Holds if the result of subscripting this object are wholly or partly unknowable
predicate
subscriptUnknown
(
)