Top-Down Decomposability

One half of Full Decomposability: every labelling of the framework can be obtained by combining local labellings of the parts of any partition. The local labellings come from the semantics' own (canonical) local function, so the property is only defined for semantics compatible with complete semantics.