sdd:binds
sdd:binds grounds a sdd:Datum in facts as a SPARQL property path — direct, chained through intermediate predicates, or routed through a declared anchor (spec §4.5). Its object is an sdd:path literal.
A datum with no sdd:binds is purely aesthetic content; one with a path is grounded, and its sdd:value is what verification checks against the source. For blank-node chains reached through a declared anchor, sdd:binds flattens co-reference away: the verification query is a single path ASK over exactly this path, not a per-quad ASK walking the chain (examples decision 5) — co-reference matters for assertion and rendering, never for the check.