Help understanding this SVA syntax

In reply to kernalmode1:

sequence_expr ::= 
...
| (sequence_expr {, sequence_match_item}) [sequence_abbrev]

This says every time the sequence_expr matches, execute the sequence_match_item.

In your case, the sequence_expr is 1, meaning always true, so match happens unconditionally every clock cycle. The sequence_match_item is the assignment data = !d_in