Molecules

Lig(hap~b~e,hap~b~e)

Lig hap b e hap b e

Rec(fab,fab,b_Y218~0~P,b_Y224~0~P,g_Y65_Y76~0~P)

Rec fab fab b_Y218 0 P b_Y224 0 P g_Y65_Y76 0 P

Lyn(U,SH3,SH2,Y397~0~P,Y508~0~P)

Lyn U SH3 SH2 Y397 0 P Y508 0 P

Fyn(U,SH3,SH2,PTK,Y420~0~P,Y531~0~P)

Fyn U SH3 SH2 PTK Y420 0 P Y531 0 P

Syk(tSH2,Y346~0~P,PTK,Y519_Y520~0~P)

Syk tSH2 Y346 0 P PTK Y519_Y520 0 P

Pag1(PRS1,Y165_Y183~0~P,PRS2,Y317~0~P,Y386_Y409~0~P)

Pag1 PRS1 Y165_Y183 0 P PRS2 Y317 0 P Y386_Y409 0 P

Csk(SH2)

Csk SH2

Lat(Y136~0~P,Y175~0~P)

Lat Y136 0 P Y175 0 P

Plcg1(SH2,SH3,PLC,Y783~0~P)

Plcg1 SH2 SH3 PLC Y783 0 P

Grb2(SH2,cSH3)

Grb2 SH2 cSH3

Gab2(PRS,Y441~0~P)

Gab2 PRS Y441 0 P

Grap2(SH2,SH3)

Grap2 SH2 SH3

Lcp2(RxxK,PRS)

Lcp2 RxxK PRS

Pi3k(p85_SH2,PI3Kc)

Pi3k p85_SH2 PI3Kc

Btk(PH,PTK)

Btk PH PTK

Inpp5d(SH2,IPP,C2)

Inpp5d SH2 IPP C2

PI34P2(bind)

PI34P2 bind

PI45P2(bind)

PI45P2 bind

PI345P3(bind)

PI345P3 bind

IP3()

IP3

DAG()

DAG

Sink()

Sink

PI4P()

PI4P

Species

Lig(hap~b,hap~b)

Lig hap b hap b

Rec(fab,fab,b_Y218~0,b_Y224~0,g_Y65_Y76~0)

Rec fab fab b_Y218 0 b_Y224 0 g_Y65_Y76 0

Lyn(U,SH2,SH3,Y397~0,Y508~0)

Lyn U SH2 SH3 Y397 0 Y508 0

Fyn(U,SH2,SH3,Y420~0,PTK,Y531~0)

Fyn U SH2 SH3 Y420 0 PTK Y531 0

Syk(tSH2,Y346~0,PTK,Y519_Y520~0)

Syk tSH2 Y346 0 PTK Y519_Y520 0

Pag1(PRS1,PRS2,Y317~0,Y165_Y183~0,Y386_Y409~0)

Pag1 PRS1 PRS2 Y317 0 Y165_Y183 0 Y386_Y409 0

Csk(SH2)

Csk SH2

Lat(Y136~0,Y175~0)

Lat Y136 0 Y175 0

Plcg1(SH2,SH3,PLC,Y783~0)

Plcg1 SH2 SH3 PLC Y783 0

Grb2(SH2,cSH3)

Grb2 SH2 cSH3

Gab2(PRS,Y441~0)

Gab2 PRS Y441 0

PI45P2(bind)

PI45P2 bind

Pi3k(PI3Kc,p85_SH2)

Pi3k PI3Kc p85_SH2

Btk(PH,PTK)

Btk PH PTK

Inpp5d(SH2,C2,IPP)

Inpp5d SH2 C2 IPP

Grap2(SH2,SH3)

Grap2 SH2 SH3

Lcp2(RxxK,PRS)

Lcp2 RxxK PRS

PI4P()

PI4P

Sink()

Sink

Observables

Lat_pY136 Lat(Y136~P!?)

Lat Y136 ?P Y175 0 ?P

Lat_pY175 Lat(Y175~P!?)

Lat Y136 0 ?P Y175 ?P

Rec_pY218 Rec(b_Y218~P!?)

Rec ?fab ?fab b_Y218 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P

Rec_pY224 Rec(b_Y224~P!?)

Rec ?fab ?fab b_Y218 0 ?P b_Y224 ?P g_Y65_Y76 0 ?P

Rec_pY65_Y76 Rec(g_Y65_Y76~P!?)

Rec ?fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 ?P

Syk_pY346 Syk(Y346~P!?)

Syk ?tSH2 Y346 ?P ?PTK Y519_Y520 0 ?P

Gab2_pY441 Gab2(Y441~P!?)

Gab2 ?PRS Y441 ?P

PI3K_recruited Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~P!3).Pi3k(p85_SH2!3)

Lat Y136 0 ?P Y175 P Grb2 SH2 cSH3 Gab2 PRS Y441 P Pi3k p85_SH2 ?PI3Kc

PI345P3 PI345P3(bind!?)

PI345P3 ?bind

Plcg1_pY783 Plcg1(Y783~P!?)

Plcg1 ?SH2 ?SH3 ?PLC Y783 ?P

LynUbound Lyn(U!+)

Lyn U ?SH3 ?SH2 Y397 0 ?P Y508 0 ?P

LynSH2bound Lyn(SH2!+)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 0 ?P

Shipbound Inpp5d(SH2!+)

Inpp5d SH2 ?IPP ?C2

Plc_pip2 Plcg1(PLC!1).PI45P2(bind!1)

Plcg1 ?SH2 ?SH3 PLC Y783 0 ?P PI45P2 bind

Lat_Plc Lat(Y136~P!1).Plcg1(SH2!1)

Lat Y136 P Y175 0 ?P Plcg1 SH2 ?SH3 ?PLC Y783 0 ?P

IP3 IP3()

IP3

PI34P2 PI34P2(bind!?)

PI34P2 ?bind

PI45P2 PI45P2(bind!?)

PI45P2 ?bind

Pag_Y165 Pag1(Y165_Y183~P!?)

Pag1 ?PRS1 Y165_Y183 ?P ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Pag_Y409 Pag1(Y386_Y409~P!?)

Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 ?P Y386_Y409 ?P

LynIn Lyn(SH2!1,Y508~P!1)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 P

FynIn Fyn(SH2!1,Y531~P!1)

Fyn ?U ?SH3 SH2 ?PTK Y420 0 ?P Y531 P

Lyn_pY508 Lyn(Y508~P!?)

Lyn ?U ?SH3 ?SH2 Y397 0 ?P Y508 ?P

Fyn_pY508 Fyn(Y531~P!?)

Fyn ?U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 ?P

Btk_recruited Btk(PH!+)

Btk PH ?PTK

LigFree Lig(hap,hap)

Lig hap hap

Crosslinks Lig(hap~e!1,hap~e!2).Rec(fab!1).Rec(fab!2)

Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P

DNP_exposed_0_of_2 Lig(hap~b!?,hap~b!?)

Lig hap ?b hap ?b

DNP_exposed_1_of_2 Lig(hap~b!?,hap~e!?)

Lig hap ?b hap ?e

DNP_exposed_2_of_2 Lig(hap~e!?,hap~e!?)

Lig hap ?e hap ?e

LigTotal Lig(hap!?,hap!?)

Lig ?hap ?hap

Syk_pY519_520 Syk(Y519_Y520~P)

Syk ?tSH2 Y346 0 ?P ?PTK Y519_Y520 P

Reaction Rules

Lig(hap~b) <-> Lig(hap~e)

Lig hap b e take all branches, once each, in any order⬇⬆ hap b ?e

Lig(hap~e,hap~e) + Rec(fab) -> Lig(hap~e,hap~e!1).Rec(fab!1)

Lig hap e hap ⬇e ⬇ Rec ⬇fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P

Lig(hap~b,hap~e) + Rec(fab) -> Lig(hap~b,hap~e!1).Rec(fab!1)

Lig hap b hap ⬇e ⬇ Rec ⬇fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P

Lig(hap~e,hap~e!1).Rec(fab!1) + Rec(fab) -> Lig(hap~e!2,hap~e!1).Rec(fab!1).Rec(fab!2)

Lig hap ⬇e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P ⬇ Rec ⬇fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P

Lig(hap~e!1).Rec(fab!1) -> Lig(hap~e) + Rec(fab)

Lig hap ⬆e hap b ?e ⬆ Rec ⬆fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 ?P

Rec(b_Y218~0) + Lyn(U,SH3,SH2) -> Rec(b_Y218~0!1).Lyn(U!1,SH3,SH2)

Rec ?fab ?fab b_Y218 ⬇0 b_Y224 0 ?P g_Y65_Y76 0 ?P ⬇ Lyn ⬇U SH3 SH2 Y397 0 ?P Y508 0 ?P

Rec(b_Y218~0!1).Lyn(U!1) -> Rec(b_Y218~0) + Lyn(U)

Rec ?fab ?fab b_Y218 ⬆0 b_Y224 0 ?P g_Y65_Y76 0 ?P ⬆ Lyn ⬆U ?SH3 ?SH2 Y397 0 ?P Y508 0 ?P

Rec(b_Y218~P) + Lyn(U,SH3,SH2) -> Rec(b_Y218~P!1).Lyn(U,SH3,SH2!1)

Rec ?fab ?fab b_Y218 ⬇P b_Y224 0 ?P g_Y65_Y76 0 ?P ⬇ Lyn U SH3 ⬇SH2 Y397 0 ?P Y508 0 ?P

Rec(b_Y218~P!1).Lyn(SH2!1) -> Rec(b_Y218~P) + Lyn(SH2)

Rec ?fab ?fab b_Y218 ⬆P b_Y224 0 ?P g_Y65_Y76 0 ?P ⬆ Lyn ?U ?SH3 ⬆SH2 Y397 0 ?P Y508 0 ?P

Lyn(U,SH3,SH2,Y508~P) -> Lyn(U,SH3,SH2!1,Y508~P!1)

Lyn U SH3 ⬇SH2 Y397 0 ?P Y508 ⬇P

Lyn(SH2!1,Y508~P!1) -> Lyn(SH2,Y508~P)

Lyn ?U ?SH3 ⬆SH2 Y397 0 ?P Y508 ⬆P

Lyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~0) -> Lyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~P)

Lyn U ?SH3 ?SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 P take all branches, once each, in any order⬇ b_Y224 0 ?P g_Y65_Y76 0 ?P

Lyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~0) -> Lyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~P)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 P take all branches, once each, in any order⬇ b_Y224 0 ?P g_Y65_Y76 0 ?P

Lyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~0) -> Lyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~P)

Lyn U ?SH3 ?SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 P take all branches, once each, in any order⬇ g_Y65_Y76 0 ?P

Lyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~0) -> Lyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~P)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 P take all branches, once each, in any order⬇ g_Y65_Y76 0 ?P

Lyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~0) -> Lyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P)

Lyn U ?SH3 ?SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 P take all branches, once each, in any order⬇

Lyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~0) -> Lyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 P take all branches, once each, in any order⬇

Syk(tSH2) + Rec(g_Y65_Y76~P) <-> Syk(tSH2!1).Rec(g_Y65_Y76~P!1)

Syk ⬇⬆tSH2 Y346 0 ?P ?PTK Y519_Y520 0 ?P ⬇⬆ Rec ?fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 ⬇⬆P

Lyn(U!1).Rec(fab!2,b_Y218~0!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~0) -> Lyn(U!1).Rec(fab!2,b_Y218~0!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~P)

Lyn U ?SH3 ?SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Syk tSH2 Y346 0 P take all branches, once each, in any order⬇ ?PTK Y519_Y520 0 ?P

Lyn(SH2!1).Rec(fab!2,b_Y218~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~0) -> Lyn(SH2!1).Rec(fab!2,b_Y218~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~P)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Syk tSH2 Y346 0 P take all branches, once each, in any order⬇ ?PTK Y519_Y520 0 ?P

Syk(tSH2!1,Y519_Y520~0).Rec(fab!2,g_Y65_Y76~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y519_Y520~0) -> Syk(tSH2!1,Y519_Y520~0).Rec(fab!2,g_Y65_Y76~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y519_Y520~P)

Syk tSH2 Y346 0 ?P ?PTK Y519_Y520 0 Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Syk tSH2 Y346 0 ?P ?PTK Y519_Y520 0 P take all branches, once each, in any order⬇

Syk(tSH2!1,Y519_Y520~P).Rec(fab!2,g_Y65_Y76~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y519_Y520~0) -> Syk(tSH2!1,Y519_Y520~P).Rec(fab!2,g_Y65_Y76~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y519_Y520~P)

Syk tSH2 Y346 0 ?P ?PTK Y519_Y520 P Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Syk tSH2 Y346 0 ?P ?PTK Y519_Y520 0 P take all branches, once each, in any order⬇

Lyn(U,SH3,SH2) + Pag1(PRS2,Y386_Y409) -> Lyn(U,SH3!1,SH2).Pag1(PRS2!1,Y386_Y409)

Lyn U ⬇SH3 SH2 Y397 0 ?P Y508 0 ?P ⬇ Pag1 ?PRS1 Y165_Y183 0 ?P ⬇PRS2 Y317 0 ?P Y386_Y409

Lyn(U,SH3,SH2!2).Pag1(PRS2,Y386_Y409~P!2) -> Lyn(U,SH3!1,SH2!2).Pag1(PRS2!1,Y386_Y409~P!2)

Lyn U ⬇SH3 SH2 Y397 0 ?P Y508 0 ?P Pag1 ?PRS1 Y165_Y183 0 ?P ⬇PRS2 Y317 0 ?P Y386_Y409 P

Lyn(SH3!1,SH2).Pag1(PRS2!1,Y386_Y409) -> Lyn(SH3,SH2) + Pag1(PRS2,Y386_Y409)

Lyn ?U ⬆SH3 SH2 Y397 0 ?P Y508 0 ?P ⬆ Pag1 ?PRS1 Y165_Y183 0 ?P ⬆PRS2 Y317 0 ?P Y386_Y409

Lyn(U,SH3,SH2) + Pag1(PRS2,Y386_Y409~P) -> Lyn(U,SH3,SH2!2).Pag1(PRS2,Y386_Y409~P!2)

Lyn U SH3 ⬇SH2 Y397 0 ?P Y508 0 ?P ⬇ Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 0 ?P Y386_Y409 ⬇P

Lyn(U,SH3!1,SH2).Pag1(PRS2!1,Y386_Y409~P) -> Lyn(U,SH3!1,SH2!2).Pag1(PRS2!1,Y386_Y409~P!2)

Lyn U SH3 ⬇SH2 Y397 0 ?P Y508 0 ?P Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 0 ?P Y386_Y409 ⬇P

Lyn(SH3!1,SH2!2).Pag1(PRS2!1,Y386_Y409~P!2) -> Lyn(SH3,SH2) + Pag1(PRS2,Y386_Y409~P)

Lyn ?U ⬆SH3 ⬆SH2 Y397 0 ?P Y508 0 ?P ⬆ Pag1 ?PRS1 Y165_Y183 0 ?P ⬆PRS2 Y317 0 ?P Y386_Y409 ⬆P

Lyn(SH3!1,Y508).Pag1(PRS2!1,Y386_Y409~0) -> Lyn(SH3!1,Y508).Pag1(PRS2!1,Y386_Y409~P)

Lyn ?U SH3 ?SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 0 ?P Y386_Y409 0 P take all branches, once each, in any order⬇

Lyn(SH3,SH2!1,Y508).Pag1(Y165_Y183~0,Y386_Y409~P!1) -> Lyn(SH3,SH2!1,Y508).Pag1(Y165_Y183~P,Y386_Y409~P!1)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 P take all branches, once each, in any order⬇ ?PRS2 Y317 0 ?P Y386_Y409 P

Lyn(SH3!2,SH2!1,Y508).Pag1(PRS2!2,Y165_Y183~0,Y386_Y409~P!1) -> Lyn(SH3!2,SH2!1,Y508).Pag1(PRS2!2,Y165_Y183~P,Y386_Y409~P!1)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 P take all branches, once each, in any order⬇ PRS2 Y317 0 ?P Y386_Y409 P

Lyn(SH3!1,SH2,Y508).Pag1(PRS2!1,Y165_Y183~0) -> Lyn(SH3!1,SH2,Y508).Pag1(PRS2!1,Y165_Y183~P)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 P take all branches, once each, in any order⬇ PRS2 Y317 0 ?P Y386_Y409 0 ?P

Lyn(SH2!1,Y508).Pag1(Y317~0,Y386_Y409~P!1) -> Lyn(SH2!1,Y508).Pag1(Y317~P,Y386_Y409~P!1)

Lyn ?U ?SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 P

Lyn(SH3,SH2!1,Y508).Pag1(Y317~0,Y386_Y409~P!1) -> Lyn(SH3,SH2!1,Y508).Pag1(Y317~P,Y386_Y409~P!1)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 P

Lyn(SH3!2,SH2!1,Y508).Pag1(PRS2!2,Y317~0,Y386_Y409~P!1) -> Lyn(SH3!2,SH2!1,Y508).Pag1(PRS2!2,Y317~P,Y386_Y409~P!1)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 P

Lyn(SH3!1,SH2,Y508).Pag1(PRS2!1,Y317~0) -> Lyn(SH3!1,SH2,Y508).Pag1(PRS2!1,Y317~P)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 0 ?P

Csk(SH2) + Pag1(Y317~P) <-> Csk(SH2!3).Pag1(Y317~P!3)

Csk ⬇⬆SH2 ⬇⬆ Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 ⬇⬆P Y386_Y409 0 ?P

Lyn(SH3,SH2!1,Y508~0).Pag1(Y386_Y409~P!1,Y317~P!2).Csk(SH2!2) -> Lyn(SH3,SH2!1,Y508~P).Pag1(Y386_Y409~P!1,Y317~P!2).Csk(SH2!2)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 0 P take all branches, once each, in any order⬇ Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 P Y386_Y409 P Csk SH2

Lyn(SH3!1,SH2,Y508~0).Pag1(PRS2!1,Y317~P!2).Csk(SH2!2) -> Lyn(SH3!1,SH2,Y508~P).Pag1(PRS2!1,Y317~P!2).Csk(SH2!2)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 0 P take all branches, once each, in any order⬇ Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 P Y386_Y409 0 ?P Csk SH2

Lyn(SH3!1,SH2!3,Y508~0).Pag1(PRS2!1,Y386_Y409~P!3,Y317~P!2).Csk(SH2!2) -> Lyn(SH3!1,SH2!3,Y508~P).Pag1(PRS2!1,Y386_Y409~P!3,Y317~P!2).Csk(SH2!2)

Lyn ?U SH3 SH2 Y397 0 ?P Y508 0 P take all branches, once each, in any order⬇ Pag1 ?PRS1 Y165_Y183 0 ?P PRS2 Y317 P Y386_Y409 P Csk SH2

Rec(b_Y218~0) + Fyn(U,SH3,SH2) -> Rec(b_Y218~0!1).Fyn(U!1,SH3,SH2)

Rec ?fab ?fab b_Y218 ⬇0 b_Y224 0 ?P g_Y65_Y76 0 ?P ⬇ Fyn ⬇U SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P

Rec(b_Y218~0!1).Fyn(U!1) -> Rec(b_Y218~0) + Fyn(U)

Rec ?fab ?fab b_Y218 ⬆0 b_Y224 0 ?P g_Y65_Y76 0 ?P ⬆ Fyn ⬆U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 ?P

Rec(b_Y218~P) + Fyn(U,SH3,SH2) -> Rec(b_Y218~P!1).Fyn(U,SH3,SH2!1)

Rec ?fab ?fab b_Y218 ⬇P b_Y224 0 ?P g_Y65_Y76 0 ?P ⬇ Fyn U SH3 ⬇SH2 ?PTK Y420 0 ?P Y531 0 ?P

Rec(b_Y218~P!1).Fyn(SH2!1) -> Rec(b_Y218~P) + Fyn(SH2)

Rec ?fab ?fab b_Y218 ⬆P b_Y224 0 ?P g_Y65_Y76 0 ?P ⬆ Fyn ?U ?SH3 ⬆SH2 ?PTK Y420 0 ?P Y531 0 ?P

Fyn(U,SH3,SH2,Y531~P) -> Fyn(U,SH3,SH2!1,Y531~P!1)

Fyn U SH3 ⬇SH2 ?PTK Y420 0 ?P Y531 ⬇P

Fyn(SH2!1,Y531~P!1) -> Fyn(SH2,Y531~P)

Fyn ?U ?SH3 ⬆SH2 ?PTK Y420 0 ?P Y531 ⬆P

Fyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~0) -> Fyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~P)

Fyn U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 P take all branches, once each, in any order⬇ b_Y224 0 ?P g_Y65_Y76 0 ?P

Fyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~0) -> Fyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y218~P)

Fyn ?U ?SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 P take all branches, once each, in any order⬇ b_Y224 0 ?P g_Y65_Y76 0 ?P

Fyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~0) -> Fyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~P)

Fyn U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 P take all branches, once each, in any order⬇ g_Y65_Y76 0 ?P

Fyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~0) -> Fyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,b_Y224~P)

Fyn ?U ?SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 P take all branches, once each, in any order⬇ g_Y65_Y76 0 ?P

Fyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~0) -> Fyn(U!1).Rec(b_Y218~0!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P)

Fyn U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 P take all branches, once each, in any order⬇

Fyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~0) -> Fyn(SH2!1).Rec(b_Y218~P!1,fab!2).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P)

Fyn ?U ?SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 P take all branches, once each, in any order⬇

Fyn(U!1).Rec(fab!2,b_Y218~0!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~0) -> Fyn(U!1).Rec(fab!2,b_Y218~0!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~P)

Fyn U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 0 b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Syk tSH2 Y346 0 P take all branches, once each, in any order⬇ ?PTK Y519_Y520 0 ?P

Fyn(SH2!1).Rec(fab!2,b_Y218~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~0) -> Fyn(SH2!1).Rec(fab!2,b_Y218~P!1).Lig(hap~e!2,hap~e!3).Rec(fab!3,g_Y65_Y76~P!4).Syk(tSH2!4,Y346~P)

Fyn ?U ?SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P Rec fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Lig hap e hap e Rec fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 P Syk tSH2 Y346 0 P take all branches, once each, in any order⬇ ?PTK Y519_Y520 0 ?P

Fyn(U,SH3,SH2) + Pag1(PRS1,Y165_Y183) -> Fyn(U,SH3!1,SH2).Pag1(PRS1!1,Y165_Y183)

Fyn U ⬇SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P ⬇ Pag1 ⬇PRS1 Y165_Y183 ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Fyn(U,SH3,SH2!2).Pag1(PRS1,Y165_Y183~P!2) -> Fyn(U,SH3!1,SH2!2).Pag1(PRS1!1,Y165_Y183~P!2)

Fyn U ⬇SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P Pag1 ⬇PRS1 Y165_Y183 P ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Fyn(SH3!1,SH2).Pag1(PRS1!1,Y165_Y183) -> Fyn(SH3,SH2) + Pag1(PRS1,Y165_Y183)

Fyn ?U ⬆SH3 SH2 ?PTK Y420 0 ?P Y531 0 ?P ⬆ Pag1 ⬆PRS1 Y165_Y183 ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Fyn(U,SH3,SH2) + Pag1(PRS1,Y165_Y183~P) -> Fyn(U,SH3,SH2!2).Pag1(PRS1,Y165_Y183~P!2)

Fyn U SH3 ⬇SH2 ?PTK Y420 0 ?P Y531 0 ?P ⬇ Pag1 PRS1 Y165_Y183 ⬇P ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Fyn(U,SH3!1,SH2).Pag1(PRS1!1,Y165_Y183~P) -> Fyn(U,SH3!1,SH2!2).Pag1(PRS1!1,Y165_Y183~P!2)

Fyn U SH3 ⬇SH2 ?PTK Y420 0 ?P Y531 0 ?P Pag1 PRS1 Y165_Y183 ⬇P ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Fyn(SH3!1,SH2!2).Pag1(PRS1!1,Y165_Y183~P!2) -> Fyn(SH3,SH2) + Pag1(PRS1,Y165_Y183~P)

Fyn ?U ⬆SH3 ⬆SH2 ?PTK Y420 0 ?P Y531 0 ?P ⬆ Pag1 ⬆PRS1 Y165_Y183 ⬆P ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Fyn(SH3,SH2!1,Y531).Pag1(Y386_Y409~0,Y165_Y183~P!1) -> Fyn(SH3,SH2!1,Y531).Pag1(Y386_Y409~P,Y165_Y183~P!1)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 Pag1 ?PRS1 Y165_Y183 P ?PRS2 Y317 0 ?P Y386_Y409 0 P take all branches, once each, in any order⬇

Fyn(SH3!2,SH2!1,Y531).Pag1(PRS1!2,Y386_Y409~0,Y165_Y183~P!1) -> Fyn(SH3!2,SH2!1,Y531).Pag1(PRS1!2,Y386_Y409~P,Y165_Y183~P!1)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 Pag1 PRS1 Y165_Y183 P ?PRS2 Y317 0 ?P Y386_Y409 0 P take all branches, once each, in any order⬇

Fyn(SH3!1,SH2,Y531).Pag1(PRS1!1,Y386_Y409~0) -> Fyn(SH3!1,SH2,Y531).Pag1(PRS1!1,Y386_Y409~P)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 Pag1 PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 ?P Y386_Y409 0 P take all branches, once each, in any order⬇

Fyn(SH3,SH2!1,Y531).Pag1(Y317~0,Y165_Y183~P!1) -> Fyn(SH3,SH2!1,Y531).Pag1(Y317~P,Y165_Y183~P!1)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 Pag1 ?PRS1 Y165_Y183 P ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 0 ?P

Fyn(SH3!2,SH2!1,Y531).Pag1(PRS1!2,Y317~0,Y165_Y183~P!1) -> Fyn(SH3!2,SH2!1,Y531).Pag1(PRS1!2,Y317~P,Y165_Y183~P!1)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 Pag1 PRS1 Y165_Y183 P ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 0 ?P

Fyn(SH3!1,SH2,Y531).Pag1(PRS1!1,Y317~0) -> Fyn(SH3!1,SH2,Y531).Pag1(PRS1!1,Y317~P)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 Pag1 PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 0 ?P

Fyn(SH3,SH2!1,Y531~0).Pag1(Y165_Y183~P!1,Y317~P!2).Csk(SH2!2) -> Fyn(SH3,SH2!1,Y531~P).Pag1(Y165_Y183~P!1,Y317~P!2).Csk(SH2!2)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 0 P take all branches, once each, in any order⬇ Pag1 ?PRS1 Y165_Y183 P ?PRS2 Y317 P Y386_Y409 0 ?P Csk SH2

Fyn(SH3!1,SH2,Y531~0).Pag1(PRS1!1,Y317~P!2).Csk(SH2!2) -> Fyn(SH3!1,SH2,Y531~P).Pag1(PRS1!1,Y317~P!2).Csk(SH2!2)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 0 P take all branches, once each, in any order⬇ Pag1 PRS1 Y165_Y183 0 ?P ?PRS2 Y317 P Y386_Y409 0 ?P Csk SH2

Fyn(SH3!1,SH2!3,Y531~0).Pag1(PRS1!1,Y165_Y183~P!3,Y317~P!2).Csk(SH2!2) -> Fyn(SH3!1,SH2!3,Y531~P).Pag1(PRS1!1,Y165_Y183~P!3,Y317~P!2).Csk(SH2!2)

Fyn ?U SH3 SH2 ?PTK Y420 0 ?P Y531 0 P take all branches, once each, in any order⬇ Pag1 PRS1 Y165_Y183 P ?PRS2 Y317 P Y386_Y409 0 ?P Csk SH2

Syk(tSH2!+,PTK) + Lat(Y136~0) -> Syk(tSH2!+,PTK!1).Lat(Y136~0!1)

Syk tSH2 Y346 0 ?P ⬇PTK Y519_Y520 0 ?P ⬇ Lat Y136 ⬇0 Y175 0 ?P

Syk(PTK!1).Lat(Y136~0!1) -> Syk(PTK) + Lat(Y136~0)

Syk ?tSH2 Y346 0 ?P ⬆PTK Y519_Y520 0 ?P ⬆ Lat Y136 ⬆0 Y175 0 ?P

Syk(PTK!1,Y519_Y520~P).Lat(Y136~0!1) -> Syk(PTK,Y519_Y520~P) + Lat(Y136~P)

Syk ?tSH2 Y346 0 ?P ⬆PTK Y519_Y520 P ⬆ Lat Y136 ⬆0 P take all branches, once each, in any order⬇ Y175 0 ?P

Syk(PTK!1,Y519_Y520~0).Lat(Y136~0!1) -> Syk(PTK,Y519_Y520~0) + Lat(Y136~P)

Syk ?tSH2 Y346 0 ?P ⬆PTK Y519_Y520 0 ⬆ Lat Y136 ⬆0 P take all branches, once each, in any order⬇ Y175 0 ?P

Lat(Y136~P) + Plcg1(SH2) <-> Lat(Y136~P!1).Plcg1(SH2!1)

Lat Y136 ⬇⬆P Y175 0 ?P ⬇⬆ Plcg1 ⬇⬆SH2 ?SH3 ?PLC Y783 0 ?P

Syk(tSH2!+,PTK) + Lat(Y175~0) -> Syk(tSH2!+,PTK!1).Lat(Y175~0!1)

Syk tSH2 Y346 0 ?P ⬇PTK Y519_Y520 0 ?P ⬇ Lat Y136 0 ?P Y175 ⬇0

Syk(PTK!1).Lat(Y175~0!1) -> Syk(PTK) + Lat(Y175~0)

Syk ?tSH2 Y346 0 ?P ⬆PTK Y519_Y520 0 ?P ⬆ Lat Y136 0 ?P Y175 ⬆0

Syk(PTK!1,Y519_Y520~P).Lat(Y175~0!1) -> Syk(PTK,Y519_Y520~P) + Lat(Y175~P)

Syk ?tSH2 Y346 0 ?P ⬆PTK Y519_Y520 P ⬆ Lat Y136 0 ?P Y175 ⬆0 P take all branches, once each, in any order⬇

Syk(PTK!1,Y519_Y520~0).Lat(Y175~0!1) -> Syk(PTK,Y519_Y520~0) + Lat(Y175~P)

Syk ?tSH2 Y346 0 ?P ⬆PTK Y519_Y520 0 ⬆ Lat Y136 0 ?P Y175 ⬆0 P take all branches, once each, in any order⬇

Lat(Y175~P) + Grb2(SH2) <-> Lat(Y175~P!1).Grb2(SH2!1)

Lat Y136 0 ?P Y175 ⬇⬆P ⬇⬆ Grb2 ⬇⬆SH2 ?cSH3

Lat(Y175~P) + Grap2(SH2) <-> Lat(Y175~P!1).Grap2(SH2!1)

Lat Y136 0 ?P Y175 ⬇⬆P ⬇⬆ Grap2 ⬇⬆SH2 ?SH3

Grap2(SH3) + Lcp2(RxxK) <-> Grap2(SH3!1).Lcp2(RxxK!1)

Grap2 ?SH2 ⬇⬆SH3 ⬇⬆ Lcp2 ⬇⬆RxxK ?PRS

Grb2(cSH3) + Gab2(PRS) <-> Grb2(cSH3!1).Gab2(PRS!1)

Grb2 ?SH2 ⬇⬆cSH3 ⬇⬆ Gab2 ⬇⬆PRS Y441 0 ?P

Lcp2(PRS) + Plcg1(SH3) <-> Lcp2(PRS!1).Plcg1(SH3!1)

Lcp2 ?RxxK ⬇⬆PRS ⬇⬆ Plcg1 ?SH2 ⬇⬆SH3 ?PLC Y783 0 ?P

Fyn(U!+,SH2,PTK) + Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~0) -> Fyn(U!+,SH2,PTK!3).Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~0!3)

Fyn U ?SH3 SH2 ⬇PTK Y420 0 ?P Y531 0 ?P ⬇ Lat Y136 0 ?P Y175 P Grb2 SH2 cSH3 Gab2 PRS Y441 ⬇0

Rec(b_Y218~P!4).Fyn(U,SH2!4,PTK) + Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~0) -> Rec(b_Y218~P!4).Fyn(U,SH2!4,PTK!3).Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~0!3)

Rec ?fab ?fab b_Y218 P b_Y224 0 ?P g_Y65_Y76 0 ?P Fyn U ?SH3 SH2 ⬇PTK Y420 0 ?P Y531 0 ?P ⬇ Lat Y136 0 ?P Y175 P Grb2 SH2 cSH3 Gab2 PRS Y441 ⬇0

Fyn(PTK!1).Gab2(Y441~0!1) -> Fyn(PTK) + Gab2(Y441~0)

Fyn ?U ?SH3 ?SH2 ⬆PTK Y420 0 ?P Y531 0 ?P ⬆ Gab2 ?PRS Y441 ⬆0

Fyn(PTK!1).Gab2(Y441~0!1) -> Fyn(PTK) + Gab2(Y441~P)

Fyn ?U ?SH3 ?SH2 ⬆PTK Y420 0 ?P Y531 0 ?P ⬆ Gab2 ?PRS Y441 ⬆0 P take all branches, once each, in any order⬇

Gab2(Y441~P) + Pi3k(p85_SH2) <-> Gab2(Y441~P!1).Pi3k(p85_SH2!1)

Gab2 ?PRS Y441 ⬇⬆P ⬇⬆ Pi3k ⬇⬆p85_SH2 ?PI3Kc

Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~P!3).Pi3k(p85_SH2!3,PI3Kc) + PI45P2(bind) -> Lat(Y175~P!1).Grb2(SH2!1,cSH3!2).Gab2(PRS!2,Y441~P!3).Pi3k(p85_SH2!3,PI3Kc!4).PI45P2(bind!4)

Lat Y136 0 ?P Y175 P Grb2 SH2 cSH3 Gab2 PRS Y441 P Pi3k p85_SH2 ⬇PI3Kc ⬇ PI45P2 ⬇bind

Pi3k(PI3Kc!1).PI45P2(bind!1) -> Pi3k(PI3Kc) + PI45P2(bind)

Pi3k ?p85_SH2 ⬆PI3Kc ⬆ PI45P2 ⬆bind

Pi3k(PI3Kc!1).PI45P2(bind!1) -> Pi3k(PI3Kc) + PI345P3(bind) + PI45P2(bind)

Pi3k ?p85_SH2 ⬆PI3Kc ⬆ PI345P3 bind synthesized PI45P2 ⬆bind

Pi3k(PI3Kc!1).PI45P2(bind!1) -> Pi3k(PI3Kc) + PI345P3(bind)

Pi3k ?p85_SH2 ⬆PI3Kc ⬆ PI45P2 ⬆bind degraded PI345P3 bind synthesized

Btk(PH) + PI345P3(bind) <-> Btk(PH!1).PI345P3(bind!1)

Btk ⬇⬆PH ?PTK ⬇⬆ PI345P3 ⬇⬆bind

Btk(PH!+,PTK) + Plcg1(SH2!+,Y783~0) -> Btk(PH!+,PTK!1).Plcg1(SH2!+,Y783~0!1)

Btk PH ⬇PTK ⬇ Plcg1 SH2 ?SH3 ?PLC Y783 ⬇0

Btk(PTK!1).Plcg1(Y783~0!1) -> Btk(PTK) + Plcg1(Y783~0)

Btk ?PH ⬆PTK ⬆ Plcg1 ?SH2 ?SH3 ?PLC Y783 ⬆0

Btk(PTK!1).Plcg1(Y783~0!1) -> Btk(PTK) + Plcg1(Y783~P)

Btk ?PH ⬆PTK ⬆ Plcg1 ?SH2 ?SH3 ?PLC Y783 ⬆0 P take all branches, once each, in any order⬇

Inpp5d(SH2,C2) + Rec(b_Y224~P) -> Inpp5d(SH2!1,C2).Rec(b_Y224~P!1)

Inpp5d ⬇SH2 ?IPP C2 ⬇ Rec ?fab ?fab b_Y218 0 ?P b_Y224 ⬇P g_Y65_Y76 0 ?P

Inpp5d(IPP,C2!+) + Rec(b_Y224~P) -> Inpp5d(IPP!1,C2!+).Rec(b_Y224~P!1)

Inpp5d ?SH2 ⬇IPP C2 ⬇ Rec ?fab ?fab b_Y218 0 ?P b_Y224 ⬇P g_Y65_Y76 0 ?P

Inpp5d(SH2!1).Rec(b_Y224~P!1) -> Inpp5d(SH2) + Rec(b_Y224~P)

Inpp5d ⬆SH2 ?IPP ?C2 ⬆ Rec ?fab ?fab b_Y218 0 ?P b_Y224 ⬆P g_Y65_Y76 0 ?P

Inpp5d(SH2!+,IPP) + PI345P3(bind) <-> Inpp5d(SH2!+,IPP!1).PI345P3(bind!1)

Inpp5d SH2 ⬇⬆IPP ?C2 ⬇⬆ PI345P3 ⬇⬆bind

Inpp5d(SH2!+,IPP!1).PI345P3(bind!1) -> Inpp5d(SH2!+,IPP)

Inpp5d SH2 ⬆IPP ?C2 ⬆ PI345P3 ⬆bind degraded

PI345P3(bind) + Sink() -> Sink()

PI345P3 bind degraded Sink

PI345P3(bind) -> PI45P2(bind)

PI345P3 bind degraded PI45P2 bind synthesized

PI4P() -> PI45P2(bind)

PI4P degraded PI45P2 bind synthesized

PI45P2(bind) -> PI4P()

PI45P2 bind degraded PI4P synthesized

Rec(b_Y218~0) -> Rec(b_Y218~P)

Rec ?fab ?fab b_Y218 0 P take all branches, once each, in any order⬇ b_Y224 0 ?P g_Y65_Y76 0 ?P

Rec(b_Y218~P) -> Rec(b_Y218~0)

Rec ?fab ?fab b_Y218 0 P take one or more branches, once each, in any order⬆ b_Y224 0 ?P g_Y65_Y76 0 ?P

Rec(b_Y224~0) -> Rec(b_Y224~P)

Rec ?fab ?fab b_Y218 0 ?P b_Y224 0 P take all branches, once each, in any order⬇ g_Y65_Y76 0 ?P

Rec(b_Y224~P) -> Rec(b_Y224~0)

Rec ?fab ?fab b_Y218 0 ?P b_Y224 0 P take one or more branches, once each, in any order⬆ g_Y65_Y76 0 ?P

Rec(g_Y65_Y76~0) -> Rec(g_Y65_Y76~P)

Rec ?fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 P take all branches, once each, in any order⬇

Rec(g_Y65_Y76~P) -> Rec(g_Y65_Y76~0)

Rec ?fab ?fab b_Y218 0 ?P b_Y224 0 ?P g_Y65_Y76 0 P take one or more branches, once each, in any order⬆

Lyn(Y508~0) -> Lyn(Y508~P)

Lyn ?U ?SH3 ?SH2 Y397 0 ?P Y508 0 P take all branches, once each, in any order⬇

Lyn(Y508~P) -> Lyn(Y508~0)

Lyn ?U ?SH3 ?SH2 Y397 0 ?P Y508 0 P take one or more branches, once each, in any order⬆

Fyn(Y531~0) -> Fyn(Y531~P)

Fyn ?U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 P take all branches, once each, in any order⬇

Fyn(Y531~P) -> Fyn(Y531~0)

Fyn ?U ?SH3 ?SH2 ?PTK Y420 0 ?P Y531 0 P take one or more branches, once each, in any order⬆

Syk(Y346~0) -> Syk(Y346~P)

Syk ?tSH2 Y346 0 P take all branches, once each, in any order⬇ ?PTK Y519_Y520 0 ?P

Syk(Y346~P) -> Syk(Y346~0)

Syk ?tSH2 Y346 0 P take one or more branches, once each, in any order⬆ ?PTK Y519_Y520 0 ?P

Syk(Y519_Y520~0) -> Syk(Y519_Y520~P)

Syk ?tSH2 Y346 0 ?P ?PTK Y519_Y520 0 P take all branches, once each, in any order⬇

Syk(Y519_Y520~P) -> Syk(Y519_Y520~0)

Syk ?tSH2 Y346 0 ?P ?PTK Y519_Y520 0 P take one or more branches, once each, in any order⬆

Pag1(Y317~0) -> Pag1(Y317~P)

Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y386_Y409 0 ?P

Pag1(Y317~P) -> Pag1(Y317~0)

Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 P take one or more branches, once each, in any order⬆ Y386_Y409 0 ?P

Pag1(Y165_Y183~0) -> Pag1(Y165_Y183~P)

Pag1 ?PRS1 Y165_Y183 0 P take all branches, once each, in any order⬇ ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Pag1(Y165_Y183~P) -> Pag1(Y165_Y183~0)

Pag1 ?PRS1 Y165_Y183 0 P take one or more branches, once each, in any order⬆ ?PRS2 Y317 0 ?P Y386_Y409 0 ?P

Pag1(Y386_Y409~0) -> Pag1(Y386_Y409~P)

Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 ?P Y386_Y409 0 P take all branches, once each, in any order⬇

Pag1(Y386_Y409~P) -> Pag1(Y386_Y409~0)

Pag1 ?PRS1 Y165_Y183 0 ?P ?PRS2 Y317 0 ?P Y386_Y409 0 P take one or more branches, once each, in any order⬆

Gab2(Y441~0) -> Gab2(Y441~P)

Gab2 ?PRS Y441 0 P take all branches, once each, in any order⬇

Gab2(Y441~P) -> Gab2(Y441~0)

Gab2 ?PRS Y441 0 P take one or more branches, once each, in any order⬆

Lat(Y136~0) -> Lat(Y136~P)

Lat Y136 0 P take all branches, once each, in any order⬇ Y175 0 ?P

Lat(Y136~P) -> Lat(Y136~0)

Lat Y136 0 P take one or more branches, once each, in any order⬆ Y175 0 ?P

Lat(Y175~0) -> Lat(Y175~P)

Lat Y136 0 ?P Y175 0 P take all branches, once each, in any order⬇

Lat(Y175~P) -> Lat(Y175~0)

Lat Y136 0 ?P Y175 0 P take one or more branches, once each, in any order⬆

Plcg1(Y783~0) -> Plcg1(Y783~P)

Plcg1 ?SH2 ?SH3 ?PLC Y783 0 P take all branches, once each, in any order⬇

Plcg1(Y783~P) -> Plcg1(Y783~0)

Plcg1 ?SH2 ?SH3 ?PLC Y783 0 P take one or more branches, once each, in any order⬆