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.