Molecules

BCR(Y188_Y199~0~P~PP,Y196_Y207~0~P~PP)

BCR Y188_Y199 0 P PP Y196_Y207 0 P PP

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

Lyn unique SH3 SH2 Y397 0 P Y508 0 P

Fyn(unique,SH3,SH2,Y420~0~P,Y531~0~P)

Fyn unique SH3 SH2 Y420 0 P Y531 0 P

Csk(SH2)

Csk SH2

PAG(PRS1,PRS2,Y317~0~P,Y163_Y181~0~P,Y387_Y417~0~P)

PAG PRS1 PRS2 Y317 0 P Y163_Y181 0 P Y387_Y417 0 P

Syk(tSH2,Y525_Y526~0~P)

Syk tSH2 Y525_Y526 0 P

Species

BCR(Y188_Y199~0,Y196_Y207~0)

BCR Y188_Y199 0 Y196_Y207 0

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

Lyn unique SH3 SH2 Y397 0 Y508 0

Fyn(unique,SH3,SH2,Y420~0,Y531~0)

Fyn unique SH3 SH2 Y420 0 Y531 0

PAG(PRS1,PRS2,Y317~0,Y163_Y181~0,Y387_Y417~0)

PAG PRS1 PRS2 Y317 0 Y163_Y181 0 Y387_Y417 0

Csk(SH2)

Csk SH2

Syk(tSH2,Y525_Y526~0)

Syk tSH2 Y525_Y526 0

Observables

Activated_Syk Syk(Y525_Y526~P)

Syk ?tSH2 Y525_Y526 P

Ig_alpha_P BCR(Y188_Y199~P)

BCR Y188_Y199 P Y196_Y207 0 P ?PP

Ig_alpha_PP BCR(Y188_Y199~PP)

BCR Y188_Y199 PP Y196_Y207 0 P ?PP

Ig_beta_PP BCR(Y196_Y207~PP)

BCR Y188_Y199 0 P ?PP Y196_Y207 PP

Activated_Lyn Lyn(Y397~P)

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

Autoinhibited_Lyn Lyn(Y508~P!+)

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

Activated_Fyn Fyn(Y420~P)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P

Autoinhibited_Fyn Fyn(Y531~P!+)

Fyn ?unique ?SH3 ?SH2 Y420 0 ?P Y531 P

PAG1_Csk PAG(Y317~P!+)

PAG ?PRS1 ?PRS2 Y317 P Y163_Y181 0 ?P Y387_Y417 0 ?P

Reaction Rules

BCR(Y188_Y199~0) + Lyn(unique,SH3,SH2) <-> BCR(Y188_Y199~0!1).Lyn(unique!1,SH3,SH2)

BCR Y188_Y199 ⬇⬆0 Y196_Y207 0 P ?PP ⬇⬆ Lyn ⬇⬆unique SH3 SH2 Y397 0 ?P Y508 0 ?P

BCR(Y188_Y199~P) + Lyn(unique,SH3,SH2) <-> BCR(Y188_Y199~P!1).Lyn(unique,SH3,SH2!1)

BCR Y188_Y199 ⬇⬆P Y196_Y207 0 P ?PP ⬇⬆ Lyn unique SH3 ⬇⬆SH2 Y397 0 ?P Y508 0 ?P

BCR(Y188_Y199~PP) + Lyn(unique,SH3,SH2) <-> BCR(Y188_Y199~PP!1).Lyn(unique,SH3,SH2!1)

BCR Y188_Y199 ⬇⬆PP Y196_Y207 0 P ?PP ⬇⬆ Lyn unique SH3 ⬇⬆SH2 Y397 0 ?P Y508 0 ?P

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

Lyn unique SH3 ⬇⬆SH2 Y397 0 ?P Y508 ⬇⬆P

Lyn(Y397~0).BCR() + BCR(Y188_Y199~0) -> Lyn(Y397~0).BCR() + BCR(Y188_Y199~P)

Lyn ?unique ?SH3 ?SH2 Y397 0 Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Lyn(Y397~0).BCR() + BCR(Y188_Y199~P) -> Lyn(Y397~0).BCR() + BCR(Y188_Y199~PP)

Lyn ?unique ?SH3 ?SH2 Y397 0 Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 P PP take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Lyn(Y397~P).BCR() + BCR(Y188_Y199~0) -> Lyn(Y397~P).BCR() + BCR(Y188_Y199~P)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Lyn(Y397~P).BCR() + BCR(Y188_Y199~P) -> Lyn(Y397~P).BCR() + BCR(Y188_Y199~PP)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 P PP take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Lyn(Y397~0).BCR() + BCR(Y196_Y207~0) -> Lyn(Y397~0).BCR() + BCR(Y196_Y207~P)

Lyn ?unique ?SH3 ?SH2 Y397 0 Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P take all branches, once each, in any order⬇

Lyn(Y397~0).BCR() + BCR(Y196_Y207~P) -> Lyn(Y397~0).BCR() + BCR(Y196_Y207~PP)

Lyn ?unique ?SH3 ?SH2 Y397 0 Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 P PP take all branches, once each, in any order⬇

Lyn(Y397~P).BCR() + BCR(Y196_Y207~0) -> Lyn(Y397~P).BCR() + BCR(Y196_Y207~P)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P take all branches, once each, in any order⬇

Lyn(Y397~P).BCR() + BCR(Y196_Y207~P) -> Lyn(Y397~P).BCR() + BCR(Y196_Y207~PP)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 P PP take all branches, once each, in any order⬇

Lyn(Y397~0).BCR() + BCR().Lyn(Y397~0) -> Lyn(Y397~0).BCR() + BCR().Lyn(Y397~P)

Lyn ?unique ?SH3 ?SH2 Y397 0 Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Lyn ?unique ?SH3 ?SH2 Y397 0 P take all branches, once each, in any order⬇ Y508 0 ?P

Lyn(Y397~P).BCR() + BCR().Lyn(Y397~0) -> Lyn(Y397~P).BCR() + BCR().Lyn(Y397~P)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Lyn ?unique ?SH3 ?SH2 Y397 0 P take all branches, once each, in any order⬇ Y508 0 ?P

Lyn(unique,SH3,SH2,Y397~0,Y508~0) + Lyn(unique,SH3,SH2,Y397~0,Y508~0) -> Lyn(unique,SH3,SH2,Y397~0,Y508~0) + Lyn(unique,SH3,SH2,Y397~P,Y508~0)

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

Lyn(unique,SH3,SH2,Y397~P,Y508~0) + Lyn(unique,SH3,SH2,Y397~0,Y508~0) -> Lyn(unique,SH3,SH2,Y397~P,Y508~0) + Lyn(unique,SH3,SH2,Y397~P,Y508~0)

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

Lyn(Y397~0).BCR() + BCR().Fyn(Y420~0) -> Lyn(Y397~0).BCR() + BCR().Fyn(Y420~P)

Lyn ?unique ?SH3 ?SH2 Y397 0 Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Fyn ?unique ?SH3 ?SH2 Y420 0 P take all branches, once each, in any order⬇ Y531 0 ?P

Lyn(Y397~P).BCR() + BCR().Fyn(Y420~0) -> Lyn(Y397~P).BCR() + BCR().Fyn(Y420~P)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Fyn ?unique ?SH3 ?SH2 Y420 0 P take all branches, once each, in any order⬇ Y531 0 ?P

Lyn(unique,SH3,SH2,Y397~0,Y508~0) + Fyn(unique,SH3,SH2,Y420~0,Y531~0) -> Lyn(unique,SH3,SH2,Y397~0,Y508~0) + Fyn(unique,SH3,SH2,Y420~P,Y531~0)

Lyn unique SH3 SH2 Y397 0 Y508 0 Fyn unique SH3 SH2 Y420 0 P take all branches, once each, in any order⬇ Y531 0

Lyn(unique,SH3,SH2,Y397~P,Y508~0) + Fyn(unique,SH3,SH2,Y420~0,Y531~0) -> Lyn(unique,SH3,SH2,Y397~P,Y508~0) + Fyn(unique,SH3,SH2,Y420~P,Y531~0)

Lyn unique SH3 SH2 Y397 P Y508 0 Fyn unique SH3 SH2 Y420 0 P take all branches, once each, in any order⬇ Y531 0

Lyn(Y397~P,Y508).PAG(Y387_Y417~0) -> Lyn(Y397~P,Y508).PAG(Y387_Y417~P)

Lyn ?unique ?SH3 ?SH2 Y397 P Y508 PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 0 P take all branches, once each, in any order⬇

Lyn(SH2!1,Y397~P,Y508).PAG(Y163_Y181~0,Y387_Y417~P!1) -> Lyn(SH2!1,Y397~P,Y508).PAG(Y163_Y181~P,Y387_Y417~P!1)

Lyn ?unique ?SH3 SH2 Y397 P Y508 PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 P take all branches, once each, in any order⬇ Y387_Y417 P

Lyn(SH2!1,Y397~P,Y508).PAG(Y317~0,Y387_Y417~P!1) -> Lyn(SH2!1,Y397~P,Y508).PAG(Y317~P,Y387_Y417~P!1)

Lyn ?unique ?SH3 SH2 Y397 P Y508 PAG ?PRS1 ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y163_Y181 0 ?P Y387_Y417 P

BCR(Y188_Y199~0) + Fyn(unique,SH3,SH2) <-> BCR(Y188_Y199~0!1).Fyn(unique!1,SH3,SH2)

BCR Y188_Y199 ⬇⬆0 Y196_Y207 0 P ?PP ⬇⬆ Fyn ⬇⬆unique SH3 SH2 Y420 0 ?P Y531 0 ?P

BCR(Y188_Y199~P) + Fyn(unique,SH3,SH2) <-> BCR(Y188_Y199~P!1).Fyn(unique,SH3,SH2!1)

BCR Y188_Y199 ⬇⬆P Y196_Y207 0 P ?PP ⬇⬆ Fyn unique SH3 ⬇⬆SH2 Y420 0 ?P Y531 0 ?P

BCR(Y188_Y199~PP) + Fyn(unique,SH3,SH2) <-> BCR(Y188_Y199~PP!1).Fyn(unique,SH3,SH2!1)

BCR Y188_Y199 ⬇⬆PP Y196_Y207 0 P ?PP ⬇⬆ Fyn unique SH3 ⬇⬆SH2 Y420 0 ?P Y531 0 ?P

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

Fyn unique SH3 ⬇⬆SH2 Y420 0 ?P Y531 ⬇⬆P

Fyn(Y420~0).BCR() + BCR(Y196_Y207~0) -> Fyn(Y420~0).BCR() + BCR(Y196_Y207~P)

Fyn ?unique ?SH3 ?SH2 Y420 0 Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P take all branches, once each, in any order⬇

Fyn(Y420~0).BCR() + BCR(Y196_Y207~P) -> Fyn(Y420~0).BCR() + BCR(Y196_Y207~PP)

Fyn ?unique ?SH3 ?SH2 Y420 0 Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 P PP take all branches, once each, in any order⬇

Fyn(Y420~P).BCR() + BCR(Y196_Y207~0) -> Fyn(Y420~P).BCR() + BCR(Y196_Y207~P)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P take all branches, once each, in any order⬇

Fyn(Y420~P).BCR() + BCR(Y196_Y207~P) -> Fyn(Y420~P).BCR() + BCR(Y196_Y207~PP)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 P PP take all branches, once each, in any order⬇

Fyn(Y420~0).BCR() + BCR(Y188_Y199~0) -> Fyn(Y420~0).BCR() + BCR(Y188_Y199~P)

Fyn ?unique ?SH3 ?SH2 Y420 0 Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Fyn(Y420~0).BCR() + BCR(Y188_Y199~P) -> Fyn(Y420~0).BCR() + BCR(Y188_Y199~PP)

Fyn ?unique ?SH3 ?SH2 Y420 0 Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 P PP take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Fyn(Y420~P).BCR() + BCR(Y188_Y199~0) -> Fyn(Y420~P).BCR() + BCR(Y188_Y199~P)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Fyn(Y420~P).BCR() + BCR(Y188_Y199~P) -> Fyn(Y420~P).BCR() + BCR(Y188_Y199~PP)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 P PP take all branches, once each, in any order⬇ Y196_Y207 0 P ?PP

Fyn(Y420~0).BCR() + BCR().Fyn(Y420~0) -> Fyn(Y420~0).BCR() + BCR().Fyn(Y420~P)

Fyn ?unique ?SH3 ?SH2 Y420 0 Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Fyn ?unique ?SH3 ?SH2 Y420 0 P take all branches, once each, in any order⬇ Y531 0 ?P

Fyn(Y420~P).BCR() + BCR().Fyn(Y420~0) -> Fyn(Y420~P).BCR() + BCR().Fyn(Y420~P)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Fyn ?unique ?SH3 ?SH2 Y420 0 P take all branches, once each, in any order⬇ Y531 0 ?P

Fyn(unique,SH3,SH2,Y420~0,Y531~0) + Fyn(unique,SH3,SH2,Y420~0,Y531~0) -> Fyn(unique,SH3,SH2,Y420~0,Y531~0) + Fyn(unique,SH3,SH2,Y420~P,Y531~0)

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

Fyn(unique,SH3,SH2,Y420~P,Y531~0) + Fyn(unique,SH3,SH2,Y420~0,Y531~0) -> Fyn(unique,SH3,SH2,Y420~P,Y531~0) + Fyn(unique,SH3,SH2,Y420~P,Y531~0)

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

Fyn(Y420~0).BCR() + BCR().Lyn(Y397~0) -> Fyn(Y420~0).BCR() + BCR().Lyn(Y397~P)

Fyn ?unique ?SH3 ?SH2 Y420 0 Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Lyn ?unique ?SH3 ?SH2 Y397 0 P take all branches, once each, in any order⬇ Y508 0 ?P

Fyn(Y420~P).BCR() + BCR().Lyn(Y397~0) -> Fyn(Y420~P).BCR() + BCR().Lyn(Y397~P)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 0 ?P BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP BCR Y188_Y199 0 P ?PP Y196_Y207 0 P ?PP Lyn ?unique ?SH3 ?SH2 Y397 0 P take all branches, once each, in any order⬇ Y508 0 ?P

Fyn(unique,SH3,SH2,Y420~0,Y531~0) + Lyn(unique,SH3,SH2,Y397~0,Y508~0) -> Fyn(unique,SH3,SH2,Y420~0,Y531~0) + Lyn(unique,SH3,SH2,Y397~P,Y508~0)

Fyn unique SH3 SH2 Y420 0 Y531 0 Lyn unique SH3 SH2 Y397 0 P take all branches, once each, in any order⬇ Y508 0

Fyn(unique,SH3,SH2,Y420~P,Y531~0) + Lyn(unique,SH3,SH2,Y397~0,Y508~0) -> Fyn(unique,SH3,SH2,Y420~P,Y531~0) + Lyn(unique,SH3,SH2,Y397~P,Y508~0)

Fyn unique SH3 SH2 Y420 P Y531 0 Lyn unique SH3 SH2 Y397 0 P take all branches, once each, in any order⬇ Y508 0

Fyn(SH2!1,Y420~P,Y531).PAG(Y163_Y181~P!1,Y387_Y417~0) -> Fyn(SH2!1,Y420~P,Y531).PAG(Y163_Y181~P!1,Y387_Y417~P)

Fyn ?unique ?SH3 SH2 Y420 P Y531 PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 P Y387_Y417 0 P take all branches, once each, in any order⬇

Fyn(Y420~P,Y531).PAG(Y163_Y181~0) -> Fyn(Y420~P,Y531).PAG(Y163_Y181~P)

Fyn ?unique ?SH3 ?SH2 Y420 P Y531 PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 P take all branches, once each, in any order⬇ Y387_Y417 0 ?P

Fyn(SH2!1,Y420~P,Y531).PAG(Y163_Y181~P!1,Y317~0) -> Fyn(SH2!1,Y420~P,Y531).PAG(Y163_Y181~P!1,Y317~P)

Fyn ?unique ?SH3 SH2 Y420 P Y531 PAG ?PRS1 ?PRS2 Y317 0 P take all branches, once each, in any order⬇ Y163_Y181 P Y387_Y417 0 ?P

Syk(tSH2) + BCR(Y196_Y207~PP) <-> Syk(tSH2!1).BCR(Y196_Y207~PP!1)

Syk ⬇⬆tSH2 Y525_Y526 0 ?P ⬇⬆ BCR Y188_Y199 0 P ?PP Y196_Y207 ⬇⬆PP

Syk(tSH2!+,Y525_Y526~0) + Syk(tSH2!+,Y525_Y526~0) -> Syk(tSH2!+,Y525_Y526~0) + Syk(tSH2!+,Y525_Y526~P)

Syk tSH2 Y525_Y526 0 Syk tSH2 Y525_Y526 0 P take all branches, once each, in any order⬇

Syk(tSH2!+,Y525_Y526~P) + Syk(tSH2!+,Y525_Y526~0) -> Syk(tSH2!+,Y525_Y526~P) + Syk(tSH2!+,Y525_Y526~P)

Syk tSH2 Y525_Y526 P Syk tSH2 Y525_Y526 0 P take all branches, once each, in any order⬇

Lyn(unique,SH3,SH2) + PAG(PRS2,Y387_Y417) -> Lyn(unique,SH3!1,SH2).PAG(PRS2!1,Y387_Y417)

Lyn unique ⬇SH3 SH2 Y397 0 ?P Y508 0 ?P ⬇ PAG ?PRS1 ⬇PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417

Lyn(unique,SH3!1,SH2).PAG(PRS2!1,Y387_Y417) -> Lyn(unique,SH3,SH2) + PAG(PRS2,Y387_Y417)

Lyn unique ⬆SH3 SH2 Y397 0 ?P Y508 0 ?P ⬆ PAG ?PRS1 ⬆PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417

Lyn(unique,SH3,SH2!2).PAG(PRS2,Y387_Y417~P!2) -> Lyn(unique,SH3!1,SH2!2).PAG(PRS2!1,Y387_Y417~P!2)

Lyn unique ⬇SH3 SH2 Y397 0 ?P Y508 0 ?P PAG ?PRS1 ⬇PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 P

Lyn(unique,SH3,SH2) + PAG(PRS2,Y387_Y417~P) -> Lyn(unique,SH3,SH2!2).PAG(PRS2,Y387_Y417~P!2)

Lyn unique SH3 ⬇SH2 Y397 0 ?P Y508 0 ?P ⬇ PAG ?PRS1 PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 ⬇P

Lyn(unique,SH3!1,SH2).PAG(PRS2!1,Y387_Y417~P) -> Lyn(unique,SH3!1,SH2!2).PAG(PRS2!1,Y387_Y417~P!2)

Lyn unique SH3 ⬇SH2 Y397 0 ?P Y508 0 ?P PAG ?PRS1 PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 ⬇P

Lyn(unique,SH3!1,SH2!2).PAG(PRS2!1,Y387_Y417~P!2) -> Lyn(unique,SH3,SH2) + PAG(PRS2,Y387_Y417~P)

Lyn unique ⬆SH3 ⬆SH2 Y397 0 ?P Y508 0 ?P ⬆ PAG ?PRS1 ⬆PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 ⬆P

Fyn(unique,SH3,SH2) + PAG(PRS1,Y163_Y181) -> Fyn(unique,SH3!1,SH2).PAG(PRS1!1,Y163_Y181)

Fyn unique ⬇SH3 SH2 Y420 0 ?P Y531 0 ?P ⬇ PAG ⬇PRS1 ?PRS2 Y317 0 ?P Y163_Y181 Y387_Y417 0 ?P

Fyn(unique,SH3!1,SH2).PAG(PRS1!1,Y163_Y181) -> Fyn(unique,SH3,SH2) + PAG(PRS1,Y163_Y181)

Fyn unique ⬆SH3 SH2 Y420 0 ?P Y531 0 ?P ⬆ PAG ⬆PRS1 ?PRS2 Y317 0 ?P Y163_Y181 Y387_Y417 0 ?P

Fyn(unique,SH3,SH2!2).PAG(PRS1,Y163_Y181~P!2) -> Fyn(unique,SH3!1,SH2!2).PAG(PRS1!1,Y163_Y181~P!2)

Fyn unique ⬇SH3 SH2 Y420 0 ?P Y531 0 ?P PAG ⬇PRS1 ?PRS2 Y317 0 ?P Y163_Y181 P Y387_Y417 0 ?P

Fyn(unique,SH3,SH2) + PAG(PRS1,Y163_Y181~P) -> Fyn(unique,SH3,SH2!2).PAG(PRS1,Y163_Y181~P!2)

Fyn unique SH3 ⬇SH2 Y420 0 ?P Y531 0 ?P ⬇ PAG PRS1 ?PRS2 Y317 0 ?P Y163_Y181 ⬇P Y387_Y417 0 ?P

Fyn(unique,SH3!1,SH2).PAG(PRS1!1,Y163_Y181~P) -> Fyn(unique,SH3!1,SH2!2).PAG(PRS1!1,Y163_Y181~P!2)

Fyn unique SH3 ⬇SH2 Y420 0 ?P Y531 0 ?P PAG PRS1 ?PRS2 Y317 0 ?P Y163_Y181 ⬇P Y387_Y417 0 ?P

Fyn(unique,SH3!1,SH2!2).PAG(PRS1!1,Y163_Y181~P!2) -> Fyn(unique,SH3,SH2) + PAG(PRS1,Y163_Y181~P)

Fyn unique ⬆SH3 ⬆SH2 Y420 0 ?P Y531 0 ?P ⬆ PAG ⬆PRS1 ?PRS2 Y317 0 ?P Y163_Y181 ⬆P Y387_Y417 0 ?P

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

Csk ⬇⬆SH2 ⬇⬆ PAG ?PRS1 ?PRS2 Y317 ⬇⬆P Y163_Y181 0 ?P Y387_Y417 0 ?P

Lyn(Y508~0).PAG().Csk() -> Lyn(Y508~P).PAG().Csk()

Lyn ?unique ?SH3 ?SH2 Y397 0 ?P Y508 0 P take all branches, once each, in any order⬇ PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 0 ?P Csk ?SH2

Fyn(Y531~0).PAG().Csk() -> Fyn(Y531~P).PAG().Csk()

Fyn ?unique ?SH3 ?SH2 Y420 0 ?P Y531 0 P take all branches, once each, in any order⬇ PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 0 ?P Csk ?SH2

BCR(Y188_Y199~P) -> BCR(Y188_Y199~0)

BCR Y188_Y199 0 P take one or more branches, once each, in any order⬆ Y196_Y207 0 P ?PP

BCR(Y188_Y199~PP) -> BCR(Y188_Y199~P)

BCR Y188_Y199 P PP take one or more branches, once each, in any order⬆ Y196_Y207 0 P ?PP

BCR(Y196_Y207~P) -> BCR(Y196_Y207~0)

BCR Y188_Y199 0 P ?PP Y196_Y207 0 P take one or more branches, once each, in any order⬆

BCR(Y196_Y207~PP) -> BCR(Y196_Y207~P)

BCR Y188_Y199 0 P ?PP Y196_Y207 P PP take one or more branches, once each, in any order⬆

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

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

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

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

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

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

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

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

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

PAG ?PRS1 ?PRS2 Y317 0 P take one or more branches, once each, in any order⬆ Y163_Y181 0 ?P Y387_Y417 0 ?P

PAG(Y387_Y417~P) -> PAG(Y387_Y417~0)

PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 ?P Y387_Y417 0 P take one or more branches, once each, in any order⬆

PAG(Y163_Y181~P) -> PAG(Y163_Y181~0)

PAG ?PRS1 ?PRS2 Y317 0 ?P Y163_Y181 0 P take one or more branches, once each, in any order⬆ Y387_Y417 0 ?P

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

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