Object declarations are actually read in as a sequence
consisting of goals and clauses.
For example the declaration
\hspace{1.3cm}
\b{tabular}{l @{\hspace{1.5cm}} c @{\hspace{1.5cm}} l }
object a { & & object(a). \\
var k, n=1. & corresponds to & var(k, n=1). \\
& the sequence & \\
} & & end_object.
\e{tabular}
The clauses and goals are read in one by one, by the global object io,
and sent to the global supervisor.
For unit clauses,
it is tested whether they must be interpreted
as a command. C.f. section \ref{code:parse}.
Each newly declared DLP object is then
added to the object list of the global knot.
As a remark,
the parser allows brackets to be omitted in a number of cases.
However, brackets may always be used.