Molecules

A(State~UZAP~PZAP~SHP~uSYK~pSYK,CBL)

A State UZAP PZAP SHP uSYK pSYK CBL

CBL(site)

CBL site

CD16(lig,receptor)

CD16 lig receptor

LCK()

LCK

Ligand(Site)

Ligand Site

Zeta(receptor,ITAM1~U~PP,ITAM2~U~PP,ITAM3~U~PP,ITAM4~U~PP,ITAM5~U~PP,ITAM6~U~PP)

Zeta receptor ITAM1 U PP ITAM2 U PP ITAM3 U PP ITAM4 U PP ITAM5 U PP ITAM6 U PP

dead()

dead

Species

A(CBL,State~UZAP)

A CBL State UZAP

Zeta(ITAM1~U,ITAM2~U,ITAM3~U,ITAM4~U,ITAM5~U,ITAM6~U,receptor)

Zeta ITAM1 U ITAM2 U ITAM3 U ITAM4 U ITAM5 U ITAM6 U receptor

LCK()

LCK

Ligand(Site)

Ligand Site

CD16(lig,receptor)

CD16 lig receptor

A(CBL,State~SHP)

A CBL State SHP

CBL(site)

CBL site

A(CBL,State~uSYK)

A CBL State uSYK

Observables

pSYK_total A(State~pSYK!?)

A State ?pSYK ?CBL

pSYK_free A(State~pSYK)

A State pSYK ?CBL

pSYK_bound A(State~pSYK!+)

A State pSYK ?CBL

PZAP_total A(State~PZAP!?)

A State ?PZAP ?CBL

PZAP_free A(State~PZAP)

A State PZAP ?CBL

PZAP_bound A(State~PZAP!+)

A State PZAP ?CBL

tot_bound_ZAP A(State~UZAP!+)

A State UZAP ?CBL

tot_bound_ZAP A(State~PZAP!+)

A State PZAP ?CBL

tot_bound_SYK A(State~uSYK!+)

A State uSYK ?CBL

tot_bound_SYK A(State~pSYK!+)

A State pSYK ?CBL

bound_phosph_zeta Zeta(receptor!+,ITAM1~PP!?)

Zeta receptor ITAM1 ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_phosph_zeta Zeta(receptor!+,ITAM2~PP!?)

Zeta receptor ITAM1 U ?PP ITAM2 ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_phosph_zeta Zeta(receptor!+,ITAM3~PP!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_phosph_zeta Zeta(receptor!+,ITAM4~PP!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_phosph_zeta Zeta(receptor!+,ITAM5~PP!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ?PP ITAM6 U ?PP

bound_phosph_zeta Zeta(receptor!+,ITAM6~PP!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 ?PP

open_U_zeta Zeta(receptor!+,ITAM1~U)

Zeta receptor ITAM1 U ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

open_U_zeta Zeta(receptor!+,ITAM2~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

open_U_zeta Zeta(receptor!+,ITAM3~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

open_U_zeta Zeta(receptor!+,ITAM4~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ITAM5 U ?PP ITAM6 U ?PP

open_U_zeta Zeta(receptor!+,ITAM5~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ITAM6 U ?PP

open_U_zeta Zeta(receptor!+,ITAM6~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U

bound_U_zeta Zeta(receptor!+,ITAM1~U!?)

Zeta receptor ITAM1 ?U ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_U_zeta Zeta(receptor!+,ITAM2~U!?)

Zeta receptor ITAM1 U ?PP ITAM2 ?U ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_U_zeta Zeta(receptor!+,ITAM3~U!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ?U ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

bound_U_zeta Zeta(receptor!+,ITAM4~U!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ?U ITAM5 U ?PP ITAM6 U ?PP

bound_U_zeta Zeta(receptor!+,ITAM5~U!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ?U ITAM6 U ?PP

bound_U_zeta Zeta(receptor!+,ITAM6~U!?)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 ?U

total_phosph_zeta Zeta(ITAM1~PP!?)

Zeta ?receptor ITAM1 ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

total_phosph_zeta Zeta(ITAM2~PP!?)

Zeta ?receptor ITAM1 U ?PP ITAM2 ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

total_phosph_zeta Zeta(ITAM3~PP!?)

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

total_phosph_zeta Zeta(ITAM4~PP!?)

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ?PP ITAM5 U ?PP ITAM6 U ?PP

total_phosph_zeta Zeta(ITAM5~PP!?)

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ?PP ITAM6 U ?PP

total_phosph_zeta Zeta(ITAM6~PP!?)

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 ?PP

tot_bound_SHP A(State~SHP!+)

A State SHP ?CBL

lig_receptor_complex CD16(lig!1).Ligand(Site!1)

CD16 lig ?receptor Ligand Site

Receptor CD16(lig!+)

CD16 lig ?receptor

Receptor CD16(lig)

CD16 lig ?receptor

zeta Zeta(receptor!+)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

zeta Zeta(receptor)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

Lig Ligand(Site!+)

Ligand Site

Lig Ligand(Site)

Ligand Site

Reaction Rules


⚠️ Molecule order mismatch - skipping reaction: reactants: Ligand, CD16 products: CD16, Ligand
⚠️ Molecule order mismatch - skipping reaction: reactants: CD16, Ligand, Zeta products: Zeta, CD16, Ligand

LCK() + Zeta(receptor!+,ITAM1~U) -> LCK() + Zeta(receptor!+,ITAM1~PP)

LCK Zeta receptor ITAM1 U PP take all branches, once each, in any order⬇ ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

LCK() + Zeta(receptor!+,ITAM2~U) -> LCK() + Zeta(receptor!+,ITAM2~PP)

LCK Zeta receptor ITAM1 U ?PP ITAM2 U PP take all branches, once each, in any order⬇ ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

LCK() + Zeta(receptor!+,ITAM3~U) -> LCK() + Zeta(receptor!+,ITAM3~PP)

LCK Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U PP take all branches, once each, in any order⬇ ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

LCK() + Zeta(receptor!+,ITAM4~U) -> LCK() + Zeta(receptor!+,ITAM4~PP)

LCK Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U PP take all branches, once each, in any order⬇ ITAM5 U ?PP ITAM6 U ?PP

LCK() + Zeta(receptor!+,ITAM5~U) -> LCK() + Zeta(receptor!+,ITAM5~PP)

LCK Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U PP take all branches, once each, in any order⬇ ITAM6 U ?PP

LCK() + Zeta(receptor!+,ITAM6~U) -> LCK() + Zeta(receptor!+,ITAM6~PP)

LCK Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U PP take all branches, once each, in any order⬇

Zeta(receptor!+,ITAM1~PP) -> Zeta(receptor!+,ITAM1~U)

Zeta receptor ITAM1 U PP take one or more branches, once each, in any order⬆ ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

Zeta(receptor!+,ITAM2~PP) -> Zeta(receptor!+,ITAM2~U)

Zeta receptor ITAM1 U ?PP ITAM2 U PP take one or more branches, once each, in any order⬆ ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

Zeta(receptor!+,ITAM3~PP) -> Zeta(receptor!+,ITAM3~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U PP take one or more branches, once each, in any order⬆ ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

Zeta(receptor!+,ITAM4~PP) -> Zeta(receptor!+,ITAM4~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U PP take one or more branches, once each, in any order⬆ ITAM5 U ?PP ITAM6 U ?PP

Zeta(receptor!+,ITAM5~PP) -> Zeta(receptor!+,ITAM5~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U PP take one or more branches, once each, in any order⬆ ITAM6 U ?PP

Zeta(receptor!+,ITAM6~PP) -> Zeta(receptor!+,ITAM6~U)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U PP take one or more branches, once each, in any order⬆

⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A

Zeta(receptor!+,ITAM1~PP!1).A(State~UZAP!1,CBL) + LCK() -> Zeta(receptor!+,ITAM1~PP!1).A(State~PZAP!1,CBL) + LCK()

Zeta receptor ITAM1 PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM2~PP!1).A(State~UZAP!1,CBL) + LCK() -> Zeta(receptor!+,ITAM2~PP!1).A(State~PZAP!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM3~PP!1).A(State~UZAP!1,CBL) + LCK() -> Zeta(receptor!+,ITAM3~PP!1).A(State~PZAP!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM4~PP!1).A(State~UZAP!1,CBL) + LCK() -> Zeta(receptor!+,ITAM4~PP!1).A(State~PZAP!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM5~PP!1).A(State~UZAP!1,CBL) + LCK() -> Zeta(receptor!+,ITAM5~PP!1).A(State~PZAP!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 PP ITAM6 U ?PP A State UZAP PZAP take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM6~PP!1).A(State~UZAP!1,CBL) + LCK() -> Zeta(receptor!+,ITAM6~PP!1).A(State~PZAP!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 PP A State UZAP PZAP take all branches, once each, in any order⬇ CBL LCK

A(State~SHP!+,CBL) + A(State~PZAP!+) -> A(State~SHP!+,CBL) + A(State~UZAP!+)

A State SHP CBL A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

A(State~SHP!+,CBL) + A(State~PZAP) -> A(State~SHP!+,CBL) + A(State~UZAP)

A State SHP CBL A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A

A(State~PZAP!+,CBL) + CBL(site) <-> A(State~PZAP!+,CBL!1).CBL(site!1)

A State PZAP ⬇⬆CBL ⬇⬆ CBL ⬇⬆site

A(State~UZAP!+,CBL) + CBL(site) <-> A(State~UZAP!+,CBL!1).CBL(site!1)

A State UZAP ⬇⬆CBL ⬇⬆ CBL ⬇⬆site

A(State~UZAP,CBL!1).CBL(site!1) -> A(State~UZAP,CBL) + CBL(site)

A State UZAP ⬆CBL ⬆ CBL ⬆site

A(State~PZAP,CBL!1).CBL(site!1) -> A(State~UZAP,CBL!1).CBL(site!1)

A State UZAP PZAP take one or more branches, once each, in any order⬆ CBL CBL site

⚠️ Molecule order mismatch - skipping reaction: reactants: Zeta, CD16, Ligand products: Ligand, CD16, Zeta
⚠️ Molecule order mismatch - skipping reaction: reactants: Zeta, CD16, Ligand products: Ligand, CD16, Zeta

Zeta(receptor,ITAM1~PP!1).A(State~PZAP!1) -> Zeta(receptor,ITAM1~PP!1).A(State~UZAP!1)

Zeta receptor ITAM1 PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM2~PP!1).A(State~PZAP!1) -> Zeta(receptor,ITAM2~PP!1).A(State~UZAP!1)

Zeta receptor ITAM1 U ?PP ITAM2 PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM3~PP!1).A(State~PZAP!1) -> Zeta(receptor,ITAM3~PP!1).A(State~UZAP!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM4~PP!1).A(State~PZAP!1) -> Zeta(receptor,ITAM4~PP!1).A(State~UZAP!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 PP ITAM5 U ?PP ITAM6 U ?PP A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM5~PP!1).A(State~PZAP!1) -> Zeta(receptor,ITAM5~PP!1).A(State~UZAP!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 PP ITAM6 U ?PP A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM6~PP!1).A(State~PZAP!1) -> Zeta(receptor,ITAM6~PP!1).A(State~UZAP!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 PP A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

⚠️ Molecule order mismatch - skipping reaction: reactants: Zeta, A products: A, Zeta
⚠️ Molecule order mismatch - skipping reaction: reactants: Zeta, A products: A, Zeta
⚠️ Molecule order mismatch - skipping reaction: reactants: Zeta, A products: A, Zeta

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4!1,ITAM5,ITAM6).A(State!1) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5!1,ITAM6).A(State!1) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6!1).A(State!1) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4,ITAM5,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4,ITAM5,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4!2,ITAM5,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4,ITAM5!2,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6!2).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4,ITAM5,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4!2,ITAM5,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4,ITAM5!2,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4,ITAM5,ITAM6!2).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4!2,ITAM5,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4,ITAM5!2,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4,ITAM5,ITAM6!2).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4!1,ITAM5!2,ITAM6).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4!1,ITAM5,ITAM6!2).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5!1,ITAM6!2).A(State!1)%1.A(State!2) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4,ITAM5,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4!3,ITAM5,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4,ITAM5!3,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4,ITAM5,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4!3,ITAM5,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4,ITAM5!3,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4,ITAM5,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4!2,ITAM5!3,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4!2,ITAM5,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4,ITAM5!2,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4!3,ITAM5,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4,ITAM5!3,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4,ITAM5,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4!2,ITAM5!3,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4!2,ITAM5,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4,ITAM5!2,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4!2,ITAM5!3,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4!2,ITAM5,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4,ITAM5!2,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4!1,ITAM5!2,ITAM6!3).A(State!1)%1.A(State!2)%2.A(State!3) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2,ITAM3!1,ITAM4!2,ITAM5!3,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3,ITAM4!2,ITAM5!3,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4,ITAM5!3,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4!3,ITAM5,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4!3,ITAM5!4,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3,ITAM4!2,ITAM5!3,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4,ITAM5!3,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4!3,ITAM5,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4!3,ITAM5!4,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4,ITAM5!3,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4!3,ITAM5,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4!3,ITAM5!4,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4,ITAM5,ITAM6!4).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4,ITAM5!4,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4!4,ITAM5,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1,ITAM2!1,ITAM3!2,ITAM4!3,ITAM5!4,ITAM6!5).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2,ITAM3!2,ITAM4!3,ITAM5!4,ITAM6!5).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3,ITAM4!3,ITAM5!4,ITAM6!5).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4,ITAM5!4,ITAM6!5).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4!4,ITAM5,ITAM6!5).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4!4,ITAM5!5,ITAM6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1!1,ITAM2!2,ITAM3!3,ITAM4!4,ITAM5!5,ITAM6!6).A(State!1)%1.A(State!2)%2.A(State!3)%3.A(State!4)%4.A(State!5)%5.A(State!6) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) + A(State) + A(State) + A(State) + A(State) + A(State) + A(State)

Zeta receptor ⬆ITAM1 ⬆ITAM2 ⬆ITAM3 ⬆ITAM4 ⬆ITAM5 ⬆ITAM6 ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL ⬆ A ⬆State ?CBL

Zeta(receptor,ITAM1~PP,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6) -> Zeta(receptor,ITAM1~U,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6)

Zeta receptor ITAM1 U PP take one or more branches, once each, in any order⬆ ITAM2 ITAM3 ITAM4 ITAM5 ITAM6

Zeta(receptor,ITAM1,ITAM2~PP,ITAM3,ITAM4,ITAM5,ITAM6) -> Zeta(receptor,ITAM1,ITAM2~U,ITAM3,ITAM4,ITAM5,ITAM6)

Zeta receptor ITAM1 ITAM2 U PP take one or more branches, once each, in any order⬆ ITAM3 ITAM4 ITAM5 ITAM6

Zeta(receptor,ITAM1,ITAM2,ITAM3~PP,ITAM4,ITAM5,ITAM6) -> Zeta(receptor,ITAM1,ITAM2,ITAM3~U,ITAM4,ITAM5,ITAM6)

Zeta receptor ITAM1 ITAM2 ITAM3 U PP take one or more branches, once each, in any order⬆ ITAM4 ITAM5 ITAM6

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4~PP,ITAM5,ITAM6) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4~U,ITAM5,ITAM6)

Zeta receptor ITAM1 ITAM2 ITAM3 ITAM4 U PP take one or more branches, once each, in any order⬆ ITAM5 ITAM6

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5~PP,ITAM6) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5~U,ITAM6)

Zeta receptor ITAM1 ITAM2 ITAM3 ITAM4 ITAM5 U PP take one or more branches, once each, in any order⬆ ITAM6

Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6~PP) -> Zeta(receptor,ITAM1,ITAM2,ITAM3,ITAM4,ITAM5,ITAM6~U)

Zeta receptor ITAM1 ITAM2 ITAM3 ITAM4 ITAM5 ITAM6 U PP take one or more branches, once each, in any order⬆

⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A
⚠️ Molecule order mismatch - skipping reaction: reactants: A, Zeta products: Zeta, A

Zeta(receptor!+,ITAM1!1).A(State~uSYK!1,CBL) + LCK() -> Zeta(receptor!+,ITAM1!1).A(State~pSYK!1,CBL) + LCK()

Zeta receptor ITAM1 ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM2!1).A(State~uSYK!1,CBL) + LCK() -> Zeta(receptor!+,ITAM2!1).A(State~pSYK!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM3!1).A(State~uSYK!1,CBL) + LCK() -> Zeta(receptor!+,ITAM3!1).A(State~pSYK!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM4!1).A(State~uSYK!1,CBL) + LCK() -> Zeta(receptor!+,ITAM4!1).A(State~pSYK!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM5!1).A(State~uSYK!1,CBL) + LCK() -> Zeta(receptor!+,ITAM5!1).A(State~pSYK!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ITAM6 U ?PP A State uSYK pSYK take all branches, once each, in any order⬇ CBL LCK

Zeta(receptor!+,ITAM6!1).A(State~uSYK!1,CBL) + LCK() -> Zeta(receptor!+,ITAM6!1).A(State~pSYK!1,CBL) + LCK()

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 A State uSYK pSYK take all branches, once each, in any order⬇ CBL LCK

A(State~uSYK!+,CBL) + CBL(site) <-> A(State~uSYK!+,CBL!1).CBL(site!1)

A State uSYK ⬇⬆CBL ⬇⬆ CBL ⬇⬆site

A(State~pSYK!+,CBL) + CBL(site) <-> A(State~pSYK!+,CBL!1).CBL(site!1)

A State pSYK ⬇⬆CBL ⬇⬆ CBL ⬇⬆site

A(State~uSYK!+) -> A(State~pSYK!+)

A State uSYK pSYK take all branches, once each, in any order⬇ ?CBL

A(State~uSYK!+) + A(State~pSYK!+) -> A(State~pSYK!+) + A(State~pSYK!+)

A State uSYK pSYK take all branches, once each, in any order⬇ ?CBL A State pSYK ?CBL

Zeta(receptor!+,ITAM1~U!1).A(State~pSYK!1) -> Zeta(receptor!+,ITAM1~PP!1).A(State~pSYK!1)

Zeta receptor ITAM1 U PP take all branches, once each, in any order⬇ ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State pSYK ?CBL

Zeta(receptor!+,ITAM2~U!1).A(State~pSYK!1) -> Zeta(receptor!+,ITAM2~PP!1).A(State~pSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U PP take all branches, once each, in any order⬇ ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State pSYK ?CBL

Zeta(receptor!+,ITAM3~U!1).A(State~pSYK!1) -> Zeta(receptor!+,ITAM3~PP!1).A(State~pSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U PP take all branches, once each, in any order⬇ ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State pSYK ?CBL

Zeta(receptor!+,ITAM4~U!1).A(State~pSYK!1) -> Zeta(receptor!+,ITAM4~PP!1).A(State~pSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U PP take all branches, once each, in any order⬇ ITAM5 U ?PP ITAM6 U ?PP A State pSYK ?CBL

Zeta(receptor!+,ITAM5~U!1).A(State~pSYK!1) -> Zeta(receptor!+,ITAM5~PP!1).A(State~pSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U PP take all branches, once each, in any order⬇ ITAM6 U ?PP A State pSYK ?CBL

Zeta(receptor!+,ITAM6~U!1).A(State~pSYK!1) -> Zeta(receptor!+,ITAM6~PP!1).A(State~pSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U PP take all branches, once each, in any order⬇ A State pSYK ?CBL

A(State~uSYK!+) + Zeta(receptor!+,ITAM1~U!?) -> A(State~uSYK!+) + Zeta(receptor!+,ITAM1~PP!?)

A State uSYK ?CBL Zeta receptor ITAM1 ?U PP take all branches, once each, in any order⬇ ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

A(State~uSYK!+) + Zeta(receptor!+,ITAM2~U!?) -> A(State~uSYK!+) + Zeta(receptor!+,ITAM2~PP!?)

A State uSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 ?U PP take all branches, once each, in any order⬇ ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

A(State~uSYK!+) + Zeta(receptor!+,ITAM3~U!?) -> A(State~uSYK!+) + Zeta(receptor!+,ITAM3~PP!?)

A State uSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ?U PP take all branches, once each, in any order⬇ ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

A(State~uSYK!+) + Zeta(receptor!+,ITAM4~U!?) -> A(State~uSYK!+) + Zeta(receptor!+,ITAM4~PP!?)

A State uSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ?U PP take all branches, once each, in any order⬇ ITAM5 U ?PP ITAM6 U ?PP

A(State~uSYK!+) + Zeta(receptor!+,ITAM5~U!?) -> A(State~uSYK!+) + Zeta(receptor!+,ITAM5~PP!?)

A State uSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ?U PP take all branches, once each, in any order⬇ ITAM6 U ?PP

A(State~uSYK!+) + Zeta(receptor!+,ITAM6~U!?) -> A(State~uSYK!+) + Zeta(receptor!+,ITAM6~PP!?)

A State uSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 ?U PP take all branches, once each, in any order⬇

A(State~pSYK!+) + Zeta(receptor!+,ITAM1~U!?) -> A(State~pSYK!+) + Zeta(receptor!+,ITAM1~PP!?)

A State pSYK ?CBL Zeta receptor ITAM1 ?U PP take all branches, once each, in any order⬇ ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

A(State~pSYK!+) + Zeta(receptor!+,ITAM2~U!?) -> A(State~pSYK!+) + Zeta(receptor!+,ITAM2~PP!?)

A State pSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 ?U PP take all branches, once each, in any order⬇ ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

A(State~pSYK!+) + Zeta(receptor!+,ITAM3~U!?) -> A(State~pSYK!+) + Zeta(receptor!+,ITAM3~PP!?)

A State pSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ?U PP take all branches, once each, in any order⬇ ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP

A(State~pSYK!+) + Zeta(receptor!+,ITAM4~U!?) -> A(State~pSYK!+) + Zeta(receptor!+,ITAM4~PP!?)

A State pSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ?U PP take all branches, once each, in any order⬇ ITAM5 U ?PP ITAM6 U ?PP

A(State~pSYK!+) + Zeta(receptor!+,ITAM5~U!?) -> A(State~pSYK!+) + Zeta(receptor!+,ITAM5~PP!?)

A State pSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ?U PP take all branches, once each, in any order⬇ ITAM6 U ?PP

A(State~pSYK!+) + Zeta(receptor!+,ITAM6~U!?) -> A(State~pSYK!+) + Zeta(receptor!+,ITAM6~PP!?)

A State pSYK ?CBL Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 ?U PP take all branches, once each, in any order⬇

A(State~SHP!+,CBL) + A(State~pSYK) -> A(State~SHP!+,CBL) + A(State~uSYK)

A State SHP CBL A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

A(State~SHP!+,CBL) + A(State~pSYK!+) -> A(State~SHP!+,CBL) + A(State~uSYK!+)

A State SHP CBL A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM1!1).A(State~pSYK!1) -> Zeta(receptor,ITAM1!1).A(State~uSYK!1)

Zeta receptor ITAM1 ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM2!1).A(State~pSYK!1) -> Zeta(receptor,ITAM2!1).A(State~uSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM3!1).A(State~pSYK!1) -> Zeta(receptor,ITAM3!1).A(State~uSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM4!1).A(State~pSYK!1) -> Zeta(receptor,ITAM4!1).A(State~uSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 ITAM5 U ?PP ITAM6 U ?PP A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM5!1).A(State~pSYK!1) -> Zeta(receptor,ITAM5!1).A(State~uSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 ITAM6 U ?PP A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

Zeta(receptor,ITAM6!1).A(State~pSYK!1) -> Zeta(receptor,ITAM6!1).A(State~uSYK!1)

Zeta receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL

A(State~pSYK,CBL!1).CBL(site!1) -> A(State~uSYK,CBL!1).CBL(site!1)

A State uSYK pSYK take one or more branches, once each, in any order⬆ CBL CBL site

A(State~uSYK,CBL!1).CBL(site!1) -> A(State~uSYK,CBL) + CBL(site)

A State uSYK ⬆CBL ⬆ CBL ⬆site

Zeta(ITAM1!1).A(State!1,CBL!2).CBL(site!2) -> dead()

Zeta ?receptor ⬆ITAM1 ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP degraded ⬆ A ⬆State ⬆CBL degraded ⬆ CBL ⬆site degraded dead synthesized

Zeta(ITAM2!1).A(State!1,CBL!2).CBL(site!2) -> dead()

Zeta ?receptor ITAM1 U ?PP ⬆ITAM2 ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP degraded ⬆ A ⬆State ⬆CBL degraded ⬆ CBL ⬆site degraded dead synthesized

Zeta(ITAM3!1).A(State!1,CBL!2).CBL(site!2) -> dead()

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ⬆ITAM3 ITAM4 U ?PP ITAM5 U ?PP ITAM6 U ?PP degraded ⬆ A ⬆State ⬆CBL degraded ⬆ CBL ⬆site degraded dead synthesized

Zeta(ITAM4!1).A(State!1,CBL!2).CBL(site!2) -> dead()

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ⬆ITAM4 ITAM5 U ?PP ITAM6 U ?PP degraded ⬆ A ⬆State ⬆CBL degraded ⬆ CBL ⬆site degraded dead synthesized

Zeta(ITAM5!1).A(State!1,CBL!2).CBL(site!2) -> dead()

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ⬆ITAM5 ITAM6 U ?PP degraded ⬆ A ⬆State ⬆CBL degraded ⬆ CBL ⬆site degraded dead synthesized

Zeta(ITAM6!1).A(State!1,CBL!2).CBL(site!2) -> dead()

Zeta ?receptor ITAM1 U ?PP ITAM2 U ?PP ITAM3 U ?PP ITAM4 U ?PP ITAM5 U ?PP ⬆ITAM6 degraded ⬆ A ⬆State ⬆CBL degraded ⬆ CBL ⬆site degraded dead synthesized

dead() -> CBL(site) + Ligand(Site)

dead degraded CBL site synthesized Ligand Site synthesized

A(State~PZAP) -> A(State~UZAP)

A State UZAP PZAP take one or more branches, once each, in any order⬆ ?CBL

A(State~pSYK) -> A(State~uSYK)

A State uSYK pSYK take one or more branches, once each, in any order⬆ ?CBL