bc6fafc5_The_Official_Shen_Standard__predicate
[arity] 2 [description] as 'is' except all variables in the second term are dereferenced only so far as to derive a non-variable result. [predicate] 
bind
The Official Shen Standard
predicate