Figure 6.4: Building many elements simultaneously
Figure 6.4 shows how the COBUILD: command might be
used. It shows two assignments being made, which include quantities
which we assume to be elements constructed beforehand or components.
The INDEX: commands set the range of indices to be and
. Finally, the
COBUILD: command constructs simultaneously the elements
, taking into account any explicitly
defined beliefs about existing elements, and functionally defined
beliefs expressed for components and between elements and components. A
second example is shown in Figure 6.5.
Figure 6.5: Simultaneously constructing assignments and components