How assumptions work in formal tool

In reply to MICRO_91:

In reply to kddholak:
Your code won’t compile.It’s illegal to have multiple sequence_expr for a sequence_match_item

Is it illegal to have multiple sequence_expr for a sequence_match_item ? What does it mean ?I don’t see any illegal in construct or usage in property.