Using Multi-clocked intersect operator

In reply to MICRO_91:

can’t I say that sequence : $fell( en )[->1] is also a property

Its interpretation is where that sequence is applied.
Thus, if it is in a consequent, it is a sequence that is interpreted as a property,