[sv-ac] cover properties

All,

in the last meeting there was a claim that sometimes the same properties 
are
used in both the assert directive and in the cover directive. I don't 
understand
that. Is the intention to collect cover information on non-vacuous 
successes?

I will be grateful, if somebody will explain that.

Thanks

Doron