Molecules

L(l,l)

L l l

FCR(s~d~o,a,b~Y~pY,g~Y~pY)

FCR s d o a b Y pY g Y pY

Lyn(s~d~o,U,SH2)

Lyn s d o U SH2

Syk(tSH2,a~Y~pY)

Syk tSH2 a Y pY

LAT(s~d~o,p~Y~pY)

LAT s d o p Y pY

Grb2(SH2)

Grb2 SH2

Hap(l)

Species

L(l,l)

L l l

FCR(s~o,a,b~Y,g~Y)

FCR s o a b Y g Y

FCR(s~d,a,b~Y,g~Y)

FCR s d a b Y g Y

Lyn(s~o,U,SH2)

Lyn s o U SH2

Lyn(s~d,U,SH2)

Lyn s d U SH2

Syk(tSH2,a~Y)

Syk tSH2 a Y

LAT(s~o,p~Y)

LAT s o p Y

LAT(s~d,p~Y)

LAT s d p Y

Grb2(SH2)

Grb2 SH2

Hap(l) HapT;

Observables

pBeta FCR(b~pY!?)

FCR s d ?o ?a b ?pY g Y ?pY

pGamma FCR(g~pY!?)

FCR s d ?o ?a b Y ?pY g ?pY

pSyk Syk(tSH2!+,a~pY)

Syk tSH2 a pY

pLAT LAT(p~pY!?)

LAT s d ?o p ?pY

Reaction Rules


Ligand binding and receptor crosslinking

FCR(a) + L(l,l) <-> FCR(a!1).L(l!1,l)

FCR s d ?o ⬇⬆a b Y ?pY g Y ?pY ⬇⬆ L ⬇⬆l l

FCR(s~d,a) + L(l,l!1).FCR(s~d,a!1) <-> FCR(s~d,a!2).L(l!2,l!1).FCR(s~d,a!1)

FCR s d ⬇⬆a b Y ?pY g Y ?pY ⬇⬆ L ⬇⬆l l FCR s d a b Y ?pY g Y ?pY

FCR(s~o,a) + L(l,l!1).FCR(s~o,a!1) <-> FCR(s~o,a!2).L(l!2,l!1).FCR(s~o,a!1)

FCR s o ⬇⬆a b Y ?pY g Y ?pY ⬇⬆ L ⬇⬆l l FCR s o a b Y ?pY g Y ?pY

Hapten binding
FCR(a) + Hap(l) <-> FCR(a!1).Hap(l!1) kon_h, koff_h
Receptor - Lyn interaction

FCR(s~d,b~Y) + Lyn(s~d,U,SH2) <-> FCR(s~d,b~Y!1).Lyn(s~d,U!1,SH2)

FCR s d ?a b ⬇⬆Y g Y ?pY ⬇⬆ Lyn s d ⬇⬆U SH2

FCR(s~d,b~pY) + Lyn(s~d,U,SH2) <-> FCR(s~d,b~pY!1).Lyn(s~d,U,SH2!1)

FCR s d ?a b ⬇⬆pY g Y ?pY ⬇⬆ Lyn s d U ⬇⬆SH2

FCR(s~o,b~Y) + Lyn(s~o,U,SH2) <-> FCR(s~o,b~Y!1).Lyn(s~o,U!1,SH2)

FCR s o ?a b ⬇⬆Y g Y ?pY ⬇⬆ Lyn s o ⬇⬆U SH2

FCR(s~o,b~pY) + Lyn(s~o,U,SH2) <-> FCR(s~o,b~pY!1).Lyn(s~o,U,SH2!1)

FCR s o ?a b ⬇⬆pY g Y ?pY ⬇⬆ Lyn s o U ⬇⬆SH2

Receptor-Syk binding

Syk(tSH2) + FCR(g~pY) <-> Syk(tSH2!1).FCR(g~pY!1)

Syk ⬇⬆tSH2 a Y ?pY ⬇⬆ FCR s d ?o ?a b Y ?pY g ⬇⬆pY

LAT-Grb2 binding

LAT(p~pY) + Grb2(SH2) <-> LAT(p~pY!1).Grb2(SH2!1)

LAT s d ?o p ⬇⬆pY ⬇⬆ Grb2 ⬇⬆SH2

Receptor phosphorylation by Lyn:

Lyn(s~o,U!1,SH2).FCR(s~o,b~Y!1).FCR(s~o,b~Y) -> Lyn(s~o,U!1,SH2).FCR(s~o,b~Y!1).FCR(s~o,b~pY)

Lyn s o U SH2 FCR s o ?a b Y g Y ?pY FCR s o ?a b Y pY take all branches, once each, in any order⬇ g Y ?pY

Lyn(s~o,U,SH2!1).FCR(s~o,b~pY!1).FCR(s~o,b~Y) -> Lyn(s~o,U,SH2!1).FCR(s~o,b~pY!1).FCR(s~o,b~pY)

Lyn s o U SH2 FCR s o ?a b pY g Y ?pY FCR s o ?a b Y pY take all branches, once each, in any order⬇ g Y ?pY

Lyn(s~o,U!1,SH2).FCR(s~o,b~Y!1).FCR(s~o,g~Y) -> Lyn(s~o,U!1,SH2).FCR(s~o,b~Y!1).FCR(s~o,g~pY)

Lyn s o U SH2 FCR s o ?a b Y g Y ?pY FCR s o ?a b Y ?pY g Y pY take all branches, once each, in any order⬇

Lyn(s~o,U,SH2!1).FCR(s~o,b~pY!1).FCR(s~o,g~Y) -> Lyn(s~o,U,SH2!1).FCR(s~o,b~pY!1).FCR(s~o,g~pY)

Lyn s o U SH2 FCR s o ?a b pY g Y ?pY FCR s o ?a b Y ?pY g Y pY take all branches, once each, in any order⬇

Lyn(s~d,U!1,SH2).FCR(s~d,b~Y!1).FCR(s~d,b~Y) -> Lyn(s~d,U!1,SH2).FCR(s~d,b~Y!1).FCR(s~d,b~pY)

Lyn s d U SH2 FCR s d ?a b Y g Y ?pY FCR s d ?a b Y pY take all branches, once each, in any order⬇ g Y ?pY

Lyn(s~d,U,SH2!1).FCR(s~d,b~pY!1).FCR(s~d,b~Y) -> Lyn(s~d,U,SH2!1).FCR(s~d,b~pY!1).FCR(s~d,b~pY)

Lyn s d U SH2 FCR s d ?a b pY g Y ?pY FCR s d ?a b Y pY take all branches, once each, in any order⬇ g Y ?pY

Lyn(s~d,U!1,SH2).FCR(s~d,b~Y!1).FCR(s~d,g~Y) -> Lyn(s~d,U!1,SH2).FCR(s~d,b~Y!1).FCR(s~d,g~pY)

Lyn s d U SH2 FCR s d ?a b Y g Y ?pY FCR s d ?a b Y ?pY g Y pY take all branches, once each, in any order⬇

Lyn(s~d,U,SH2!1).FCR(s~d,b~pY!1).FCR(s~d,g~Y) -> Lyn(s~d,U,SH2!1).FCR(s~d,b~pY!1).FCR(s~d,g~pY)

Lyn s d U SH2 FCR s d ?a b pY g Y ?pY FCR s d ?a b Y ?pY g Y pY take all branches, once each, in any order⬇

Syk autophosphorylation

Syk(a~Y).Syk(a~Y) -> Syk(a~Y).Syk(a~pY)

Syk ?tSH2 a Y Syk ?tSH2 a Y pY take all branches, once each, in any order⬇

Syk(a~pY).Syk(a~Y) -> Syk(a~pY).Syk(a~pY)

Syk ?tSH2 a pY Syk ?tSH2 a Y pY take all branches, once each, in any order⬇

LAT phosphorylation by Syk

Syk(tSH2!1).FCR(s~d,g~pY!1) + LAT(s~d,p~Y) -> Syk(tSH2!1).FCR(s~d,g~pY!1) + LAT(s~d,p~pY)

Syk tSH2 a Y ?pY FCR s d ?a b Y ?pY g pY LAT s d p Y pY take all branches, once each, in any order⬇

Syk(tSH2!1).FCR(s~o,g~pY!1) + LAT(s~o,p~Y) -> Syk(tSH2!1).FCR(s~o,g~pY!1) + LAT(s~o,p~pY)

Syk tSH2 a Y ?pY FCR s o ?a b Y ?pY g pY LAT s o p Y pY take all branches, once each, in any order⬇

Receptor dephosphorylation

FCR(s~d,b~pY) -> FCR(s~d,b~Y)

FCR s d ?a b Y pY take one or more branches, once each, in any order⬆ g Y ?pY

FCR(s~d,g~pY) -> FCR(s~d,g~Y)

FCR s d ?a b Y ?pY g Y pY take one or more branches, once each, in any order⬆

FCR(s~o,b~pY) -> FCR(s~o,b~Y)

FCR s o ?a b Y pY take one or more branches, once each, in any order⬆ g Y ?pY

FCR(s~o,g~pY) -> FCR(s~o,g~Y)

FCR s o ?a b Y ?pY g Y pY take one or more branches, once each, in any order⬆

Syk dephosphorylation (at membrane)

FCR(s~d,g~pY!1).Syk(tSH2!1,a~pY) -> FCR(s~d,g~pY!1).Syk(tSH2!1,a~Y)

FCR s d ?a b Y ?pY g pY Syk tSH2 a Y pY take one or more branches, once each, in any order⬆

FCR(s~o,g~pY!1).Syk(tSH2!1,a~pY) -> FCR(s~o,g~pY!1).Syk(tSH2!1,a~Y)

FCR s o ?a b Y ?pY g pY Syk tSH2 a Y pY take one or more branches, once each, in any order⬆

Syk dephosphorylation (at cytosol)

Syk(tSH2,a~pY) -> Syk(tSH2,a~Y)

Syk tSH2 a Y pY take one or more branches, once each, in any order⬆

LAT dephosphorylation

LAT(s~d,p~pY) -> LAT(s~d,p~Y)

LAT s d p Y pY take one or more branches, once each, in any order⬆

LAT(s~o,p~pY) -> LAT(s~o,p~Y)

LAT s o p Y pY take one or more branches, once each, in any order⬆

Raft - non-raft transition

FCR(s~d,a,b~Y) <-> FCR(s~o,a,b~Y)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY

FCR(s~d,a,b~pY) <-> FCR(s~o,a,b~pY)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY

FCR(s~d,a!1,b~Y).L(l!1,l) <-> FCR(s~o,a!1,b~Y).L(l!1,l)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY L l l

FCR(s~d,a!1,b~pY).L(l!1,l) <-> FCR(s~o,a!1,b~pY).L(l!1,l)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l

Lyn(s~d,U,SH2) <-> Lyn(s~o,U,SH2)

Lyn s d o take all branches, once each, in any order⬇⬆ U SH2

FCR(s~d,a,b~Y!1).Lyn(s~d,U!1) <-> FCR(s~o,a,b~Y!1).Lyn(s~o,U!1)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2

FCR(s~d,a,b~pY!1).Lyn(s~d,SH2!1) <-> FCR(s~o,a,b~pY!1).Lyn(s~o,SH2!1)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2

FCR(s~d,a!1,b~Y!2).L(l!1,l).Lyn(s~d,U!2) <-> FCR(s~o,a!1,b~Y!2).L(l!1,l).Lyn(s~o,U!2)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY L l l Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2

FCR(s~d,a!1,b~pY!2).L(l!1,l).Lyn(s~d,SH2!2) <-> FCR(s~o,a!1,b~pY!2).L(l!1,l).Lyn(s~o,SH2!2)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2

FCR(s~d,a!1,b~Y).L(l!1,l!2).FCR(s~d,a!2,b~Y) <-> FCR(s~o,a!1,b~Y).L(l!1,l!2).FCR(s~o,a!2,b~Y)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY

FCR(s~d,a!1,b~pY).L(l!1,l!2).FCR(s~d,a!2,b~Y) <-> FCR(s~o,a!1,b~pY).L(l!1,l!2).FCR(s~o,a!2,b~Y)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY

FCR(s~d,a!1,b~pY).L(l!1,l!2).FCR(s~d,a!2,b~pY) <-> FCR(s~o,a!1,b~pY).L(l!1,l!2).FCR(s~o,a!2,b~pY)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY

FCR(s~d,a!1,b~Y!3).L(l!1,l!2).FCR(s~d,a!2,b~Y).Lyn(s~d,U!3) <-> FCR(s~o,a!1,b~Y!3).L(l!1,l!2).FCR(s~o,a!2,b~Y).Lyn(s~o,U!3)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2

FCR(s~d,a!1,b~Y!3).L(l!1,l!2).FCR(s~d,a!2,b~pY).Lyn(s~d,U!3) <-> FCR(s~o,a!1,b~Y!3).L(l!1,l!2).FCR(s~o,a!2,b~pY).Lyn(s~o,U!3)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2

FCR(s~d,a!1,b~pY!3).L(l!1,l!2).FCR(s~d,a!2,b~Y).Lyn(s~d,SH2!3) <-> FCR(s~o,a!1,b~pY!3).L(l!1,l!2).FCR(s~o,a!2,b~Y).Lyn(s~o,SH2!3)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2

FCR(s~d,a!1,b~pY!3).L(l!1,l!2).FCR(s~d,a!2,b~pY).Lyn(s~d,SH2!3) <-> FCR(s~o,a!1,b~pY!3).L(l!1,l!2).FCR(s~o,a!2,b~pY).Lyn(s~o,SH2!3)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2

FCR(s~d,a!1,b~Y!3).L(l!1,l!2).FCR(s~d,a!2,b~Y!4).Lyn(s~d,U!3).Lyn(s~d,U!4) <-> FCR(s~o,a!1,b~Y!3).L(l!1,l!2).FCR(s~o,a!2,b~Y!4).Lyn(s~o,U!3).Lyn(s~o,U!4)

FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2 Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2

FCR(s~d,a!1,b~pY!3).L(l!1,l!2).FCR(s~d,a!2,b~Y!4).Lyn(s~d,SH2!3).Lyn(s~d,U!4) <-> FCR(s~o,a!1,b~pY!3).L(l!1,l!2).FCR(s~o,a!2,b~Y!4).Lyn(s~o,SH2!3).Lyn(s~o,U!4)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b Y g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2 Lyn s d o take all branches, once each, in any order⬇⬆ U ?SH2

FCR(s~d,a!1,b~pY!3).L(l!1,l!2).FCR(s~d,a!2,b~pY!4).Lyn(s~d,SH2!3).Lyn(s~d,SH2!4) <-> FCR(s~o,a!1,b~pY!3).L(l!1,l!2).FCR(s~o,a!2,b~pY!4).Lyn(s~o,SH2!3).Lyn(s~o,SH2!4)

FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY L l l FCR s d o take all branches, once each, in any order⬇⬆ a b pY g Y ?pY Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2 Lyn s d o take all branches, once each, in any order⬇⬆ ?U SH2

LAT(s~d) <-> LAT(s~o)

LAT s d o take all branches, once each, in any order⬇⬆ p Y ?pY