In reply to jh_veryveri:
That is correct, the property is true once the consequent becomes true. Another level of complexity is the concept of vacuous and non-vacuous success. An assertion of this kind of property only succeeds (passes) if both the antecedent and consequent are true.