F.9:14.2 - Bounded-use proposition

Bridge(A,B;P) obtains as b
and C is a C.2.1 claim with
  EntityOfConcern = b,
  ClaimGraph designating <u,d,r,t,polarity>,
  and an effective ReferenceScheme interpreting those designations
=> C says whether b is suitable for exactly <u,d,r,t>.

Changing u, d, r, or t changes C; it does not change b. Affirmative polarity is not evidence reliance, assurance, authorization, or occurrence.