Bottom-Up Decomposability

One half of Full Decomposability: every combination of mutually consistent local labellings of the parts of a partition is a labelling of the framework. The local labellings come from the semantics' own (canonical) local function, so the property is only defined for semantics compatible with complete semantics.