s
SCO_R SCO T_R T
s -> SCO_R s SCO | SCO