Symbol: seqprop_sequence