Molecules

Lig(l,l)

Lig l l

Lyn(U,SH2)

Lyn U SH2

Syk(tSH2,l~Y~pY,a~Y~pY)

Syk tSH2 l Y pY a Y pY

Rec(a,b~Y~pY,g~Y~pY)

Rec a b Y pY g Y pY

Species

Lig(l,l)

Lig l l

Lyn(U,SH2)

Lyn U SH2

Syk(tSH2,l~Y,a~Y)

Syk tSH2 l Y a Y

Rec(a,b~Y,g~Y)

Rec a b Y g Y

Observables

LynFree Lyn(U,SH2)

Lyn U SH2

RecMon Rec(a)

Rec a b Y ?pY g Y ?pY

RecMon Rec(a!1).Lig(l!1,l)

Rec a b Y ?pY g Y ?pY Lig l l

RecDim Rec().Rec()

Rec ?a b Y ?pY g Y ?pY Rec ?a b Y ?pY g Y ?pY

RecPbeta Rec(b~pY!?)

Rec ?a b ?pY g Y ?pY

RecPgamma Rec(g~pY)

Rec ?a b Y ?pY g pY

RecPgamma Rec(g~pY!+)

Rec ?a b Y ?pY g pY

RecSyk Rec(g~pY!1).Syk(tSH2!1)

Rec ?a b Y ?pY g pY Syk tSH2 l Y ?pY a Y ?pY

RecSykPS Rec(g~pY!1).Syk(tSH2!1,a~pY)

Rec ?a b Y ?pY g pY Syk tSH2 l Y ?pY a pY

SykTest Syk()

Syk ?tSH2 l Y ?pY a Y ?pY

LynTest Lyn()

Lyn ?U ?SH2

RecTest Rec()

Rec ?a b Y ?pY g Y ?pY

Reaction Rules

Rec(a) + Lig(l,l) <-> Rec(a!1).Lig(l!1,l)

Rec ⬇⬆a b Y ?pY g Y ?pY ⬇⬆ Lig ⬇⬆l l

Rec(a) + Lig(l,l!+) <-> Rec(a!2).Lig(l!2,l!+)

Rec ⬇⬆a b Y ?pY g Y ?pY ⬇⬆ Lig ⬇⬆l l

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

Rec ?a b ⬇⬆Y g Y ?pY ⬇⬆ Lyn ⬇⬆U SH2

Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,b~Y) -> Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,b~pY)

Lig l l Lyn U SH2 Rec a b Y g Y ?pY Rec a b Y pY take all branches, once each, in any order⬇ g Y ?pY

Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~Y) -> Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~pY)

Lig l l Lyn U SH2 Rec a b Y g Y ?pY Rec a b Y ?pY g Y pY take all branches, once each, in any order⬇

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

Rec ?a b ⬇⬆pY g Y ?pY ⬇⬆ Lyn U ⬇⬆SH2

Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,b~Y) -> Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,b~pY)

Lig l l Lyn U SH2 Rec a b pY g Y ?pY Rec a b Y pY take all branches, once each, in any order⬇ g Y ?pY

Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~Y) -> Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~pY)

Lig l l Lyn U SH2 Rec a b pY g Y ?pY Rec a b Y ?pY g Y pY take all branches, once each, in any order⬇

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

Rec ?a b Y ?pY g ⬇⬆pY ⬇⬆ Syk ⬇⬆tSH2 l Y ?pY a Y ?pY

Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~Y) -> Lig(l!1,l!2).Lyn(U!3,SH2).Rec(a!2,b~Y!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~pY)

Lig l l Lyn U SH2 Rec a b Y g Y ?pY Rec a b Y ?pY g pY Syk tSH2 l Y pY take all branches, once each, in any order⬇ a Y ?pY

Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~Y) -> Lig(l!1,l!2).Lyn(U,SH2!3).Rec(a!2,b~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,l~pY)

Lig l l Lyn U SH2 Rec a b pY g Y ?pY Rec a b Y ?pY g pY Syk tSH2 l Y pY take all branches, once each, in any order⬇ a Y ?pY

Lig(l!1,l!2).Syk(tSH2!3,a~Y).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~Y) -> Lig(l!1,l!2).Syk(tSH2!3,a~Y).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~pY)

Lig l l Syk tSH2 l Y ?pY a Y Rec a b Y ?pY g pY Rec a b Y ?pY g pY Syk tSH2 l Y ?pY a Y pY take all branches, once each, in any order⬇

Lig(l!1,l!2).Syk(tSH2!3,a~pY).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~Y) -> Lig(l!1,l!2).Syk(tSH2!3,a~pY).Rec(a!2,g~pY!3).Rec(a!1,g~pY!4).Syk(tSH2!4,a~pY)

Lig l l Syk tSH2 l Y ?pY a pY Rec a b Y ?pY g pY Rec a b Y ?pY g pY Syk tSH2 l Y ?pY a Y pY take all branches, once each, in any order⬇

Rec(b~pY) -> Rec(b~Y)

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

Rec(g~pY) -> Rec(g~Y)

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

Syk(tSH2!+,l~pY) -> Syk(tSH2!+,l~Y)

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

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

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

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

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

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

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