Syntax
where a number of arguments (each discussed below) appear in
parenthesis, separated by commas, and N1, N2,
...are the names of elements, bases, assignments, and
data-carriers, separated by commas.
The LOOK: command is used to examine various of the inputs to
the program, together with other general information.
The first form of the syntax simply lists the possible arguments
available for general use of the command. The second form of the syntax
is used to give a brief summary of various belief, data, functional, and
other specifications and program features. Each argument represents a
different set of summaries, whilst the base, element, and data-carrier
names which follow the parenthesis limit certain summaries to those
subsets specified. For the purposes of describing this command, we will
refer to this subset as the restriction. Wildcard notation
(§6.2.1) may be used
in describing the restriction. Unrecognised arguments
and options are ignored. The possible summaries are given by the
arguments described as follows.
