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

FCR(b~pY!?)

FCR s d o a b pY g Y pY

FCR(g~pY!?)

FCR s d o a b Y pY g pY

Syk(tSH2!+,a~pY)

Syk tSH2 a pY

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 1 ⬆⬇a b Y pY g Y pY L 1 ⬆⬇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 2 ⬆⬇a b Y pY g Y pY L 2 ⬆⬇l 1l FCR s d 1a 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 2 ⬆⬇a b Y pY g Y pY L 2 ⬆⬇l 1l FCR s o 1a b Y pY g Y pY
Hapten bindingFCR(a) + Hap(l) <-> FCR(a!1).Hap(l!1) kon_h, koff_hReceptor - 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 1 ⬆⬇Y g Y pY Lyn s d 1 ⬆⬇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 1 ⬆⬇pY g Y pY Lyn s d U 1 ⬆⬇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 1 ⬆⬇Y g Y pY Lyn s o 1 ⬆⬇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 1 ⬆⬇pY g Y pY Lyn s o U 1 ⬆⬇SH2
Receptor-Syk binding

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

Syk 1 ⬆⬇tSH2 a Y pY FCR s d o a b Y pY g 1 ⬆⬇pY
LAT-Grb2 binding

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

LAT s d o p 1 ⬆⬇pY Grb2 1 ⬆⬇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 1U SH2 FCR s o a b 1Y 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 1SH2 FCR s o a b 1pY 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 1U SH2 FCR s o a b 1Y 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 1SH2 FCR s o a b 1pY 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 1U SH2 FCR s d a b 1Y 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 1SH2 FCR s d a b 1pY 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 1U SH2 FCR s d a b 1Y 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 1SH2 FCR s d a b 1pY 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 1tSH2 a Y pY FCR s d a b Y pY g 1pY 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 1tSH2 a Y pY FCR s o a b Y pY g 1pY 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 1pY Syk 1tSH2 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 1pY Syk 1tSH2 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⬇⬇ 1a b Y g Y pY L 1l 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⬇⬇ 1a b pY g Y pY L 1l 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 1Y g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ 1U 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 1pY g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ U 1SH2

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⬇⬇ 1a b 2Y g Y pY L 1l l Lyn s d o take all branches, once each, in any order⬇⬇ 2U 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⬇⬇ 1a b 2pY g Y pY L 1l l Lyn s d o take all branches, once each, in any order⬇⬇ U 2SH2

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⬇⬇ 1a b Y g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a 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⬇⬇ 1a b pY g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a 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⬇⬇ 1a b pY g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a 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⬇⬇ 1a b 3Y g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b Y g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ 3U 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⬇⬇ 1a b 3Y g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b pY g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ 3U 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⬇⬇ 1a b 3pY g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b Y g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ U 3SH2

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⬇⬇ 1a b 3pY g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b pY g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ U 3SH2

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⬇⬇ 1a b 3Y g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b 4Y g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ 3U SH2 Lyn s d o take all branches, once each, in any order⬇⬇ 4U 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⬇⬇ 1a b 3pY g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b 4Y g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ U 3SH2 Lyn s d o take all branches, once each, in any order⬇⬇ 4U 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⬇⬇ 1a b 3pY g Y pY L 1l 2l FCR s d o take all branches, once each, in any order⬇⬇ 2a b 4pY g Y pY Lyn s d o take all branches, once each, in any order⬇⬇ U 3SH2 Lyn s d o take all branches, once each, in any order⬇⬇ U 4SH2

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

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