SEQUENCE_AT expressions