[sv-ac] property instance in property expression

Hi,
 I have a quarry regarding usage of property instance in property 
expression.

Please consider the example.

property p1;
............
endproperty

property p1;
..................
endproperty

sequence s1;
..............
endsequence

property prop;
@(posedge clk) s1 |-> ((prop1) or (prop2));
endproperty

One of the simulator giving error massage as :
"*Illegal use of property name as a sequence or boolean expression.*"

Where as other simulator is simulating successfully.

I am confused here .

I noticed the BNF of property Expression

property_expr ::=
| property_expr or property_expr
| sequence_expr |-> property_expr
| property_instance

Please tell me what is the correct behavior.

Thanks,
-Soumya




-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.