s
BT BT_R
s -> BT s BT_R | BT BT_R