The atomic symbols which are related in a domain proposition in different ways. Domain symbols may be single words or (contiguous) groups of words. Domain symbols are associated using Domain Relationships, which are also domain symbols in turn.
Before the DVM phase, domain symbols do not have any intrinsic interpretation: they are defined in terms of their relationships. The DVM is responsible for giving meaning to these symbols.
I still need to investigate how to do this, since this is the most important part of this exercise.