bc6fafc5_The_Official_Shen_Standard__predicate
[arity] 1 [description] the term is evaluated to true or false and the call succeeds if it is true. All variables in the term are completely dereferenced. [predicate] 
when
The Official Shen Standard
predicate