F.3:4 - Core idea (didactic)
Cluster by source use, not by spelling. Under one explicit interpretation basis:
- Same local meaning: expressions are interchangeable in the relevant source passages and no source-grounded test makes them support different conclusions.
- Different local meanings: their argument patterns, entailments, temporal stance, or practical consequences differ.
The cluster’s outcome is a LocalSenseClaim, with a Tech and Plain label pair, supporting expressions, and an optional counterexample. If durable reuse needs an address, use F.17’s SchemeSenseCell = <ReferenceScheme, LocalExpression, LocalSenseClaim>. The cell has three parts; it is not a two-part pair and does not make the claim global.