mod TNFDISH is inc ALLOPS .

op TnfDish : -> Dish .
eq TnfDish = PD(    

{XOut | Tnf
}{TnfR1C | TnfR1
}{EgfRC | EgfR
}{CLo | empty

}{CLm |
Muc1

}{CLi |
Cltc
Pld1
Pld2

}{CLc |

[Gsk3s - act]
Akt1
Ask1
Atf2
Azi2
Ciap1
Csnk1a1
Eif4e
Eif4ebp1
Erks
Ikba
Ikbb
Ikk1
Ikk2
Irak1
Itch
Jnks
Map4k5
Mapkapk2
Mek1
Mekk1
Mekk2
Mekk3
Mkk4
Mkk7
Mlk3
Mlst8
Mnk1
Mtor
Nemo
P38s
Pin1
Pkci
Pkcz
Raptor
Rela
Rela
Ripk1
Rnf11
Rsk2
S6k1
Stat1
Syk
Syk
Tab1
Tab2
Tab3
Tak1
Tank
Tax1bp1
Tbk1
Tnfaip3
Tpl2
Tradd
Traf2
Tsc1
Ubc13


}{NUc |
Atf1
CcL2-gene
CcL5-gene
Cezanne-gene
Creb1
CxcL1-gene
CxcL2-gene
CxcL10-gene
Ep300
Egr1
Egr1-gene
Eselectin-gene
Fos-gene
Cd54-gene
Ikba-gene
IL1b-gene
IL6-gene
IL8-gene
Irf1-gene
Jun
Junb-gene
Msk1
TLR2-gene
ProTnf-gene
Tnfaip3-gene
}) .


endm
