Semantics
The value of a complex object X is composed of the values for its attributes.
Its probabilistic model is defined recursively from the models of its attributes.
Theorem: The probabilistic model for an object X defines a conditional probability distribution: