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 dereferenced only so far as to derive a non-variable result. [predicate] 
fwhen
The Official Shen Standard
predicate