 Entailment.  \(F\) is a disposition iff there are an associated stimulus condition and manifestation such that, necessarily, \(x\) has \(F\) only if \(x\) would produce the manifestation if it were in the stimulus condition. 