symbol:formal_sequence