Multi-valued attributes
.......................

To shorten the specification of a condition, tests for augmentations that
share the same identifier and attribute can be shortened so that the value
tests are together.  For example, to test that an object has two values for
attribute children, one could use the following condition:

(<P1> ^type father ^name john ^children <c1> <c2> ^spouse <p2>)

Attribute tests of a multi-valued attribute that do not include a equality
test (such as <> <x>) are interpreted as being *conjunctive*.  Thus,

(<P1> ^type father ^ <> name sue sally)

is interpreted to mean:

(<P1> ^type father ^ {<> name <a*1>} sue ^ <a*1> sally)