YES, for at least two reasons: 1) If the property is provided by an analytic predicate (cannot be a synthetic predicate: it would be unrelated information), like "John is a bachelor", then such definition causes _John to be not married_. For example: _if John is a bachelor (cause), then, he's married (consequence)_. 2) For Hume, causality is _the habit of constant conjunction_; so, if you get the habit of listening that _all A's are B's and all B's are C's_, then you assume that any A becoming B (cause) is then (consequence) a C. For example: _since I know that A is B, then, I know that A is C_. But also, NO, for at least one reason: 3) _Properties do not cause effects: is its usage that produce effects_. the statement "A is B" has no relationship whatsoever with C until is interpreted using Logic. Only when reason starts it's logical process, the observer can deduce "then, A is C".