Premise: A part may be a symbol for the whole--or so may any designated symbol, which may influence the thing it is.

Hypothesis: The whole might have a symbol that is the part.
Relation: entailment