input: [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] 
output: fwhen