Untyped variable declarations are expressions of the form xs, in the single-valued case, or
xm, in the multi-valued case. A set D of variable declarations for all variables occurring in
the knowledge base is called the domain declaration of the knowledge base.