This is not normally regarded as a built-in
predicate, since it is part of the syntax of the language. However,
it is like a built-in predicate in that you can say
)) to execute P and then
Depends on P and Q.
Call errors (see ref-sem-exc).