bc6fafc5_The_Official_Shen_Standard__predicate
[arity] 2 [description] binds the variable which is the first term to the result of evaluating the second. All variables in the second are completely dereferenced. [predicate] 
is
The Official Shen Standard
predicate