For the first form of the syntax we evaluate limited aspects of the adjustment of the base B by the base F. The following information is available after such a command has been issued.
.
say, we
store their adjusted covariance, 
. This then
can be accessed via the [B/D] operator scac as scac
analagously to the [B/D] operator ac . For adjusted variances,
we could also use the scav operator in that scav 
is equivalent to, and shorthand for, scac 
in the base B, we
store the adjusted expectation, 
. This then
can be accessed via the [B/D] operator scae as scae
analagously to the [B/D] operator aex .
may also be directed
to a belief store. Every time the SCAN: command is issued, the
adjusted covariances are then output to this belief store. This facility
works independently of the availability of the adjusted covariances via
the scac operator.
may also be directed
to an expectation store. Every time the SCAN: command is issued, the
adjusted expectations are then output to this store. This facility
works independently of the availability of the adjusted expectations via
the scae operator.
As an example, consider the fragment of code given in Figure 9.3. Here, we scan for the effect of adjusting B by some other base F. Assume that the base B contains elements X, Y, and Z. To begin, we set the scac control equal to belief store 3, so that a copy of the adjusted covariances will be held in belief store 3 for all subsequent SCAN: commands. Similarly, we set the scae control equal to expectation store 4, so that a copy of the adjusted expectations will be held in expectation store 4 for all subsequent SCAN: commands. This is followed by the SCAN: command itself, and then various lines of output which show how we access the results of the command.
Similar information to this (albeit in terms of resolutions) can be obtained by using the arcin operator following an adjustment.
