In reply to ben@SystemVerilog.us:
Ben ,
A property has many definitions, see the syntax.
sequence_expr |-> property_expr // a property definition
sequence_expr // another property definition,
...
Since a sequence_expr is also considered a property , **can't I say that sequence : $fell( en )[->1] is also a property ?**