Y ) is bounded above by the probability that the entire derivation starting at X terminates Unfortunately, the terminology used in the literature is not uniform. For example, Jelinek & Lafferty (1991)