Conditional Statement in Assertion Property

In reply to tejal vernekar:

No. Vacuity only applies to implication properties.