mod ALLDISH is inc ALLOPS .

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

{ERm |
Alg1 Alg2 Alg3 Alg6 Alg7 Alg8 Alg9 Alg10 Alg10b Alg11 Alg12 
(Alg13 : Alg14)
B3galtl
Dolichol Dolk
Ganab
Gxylt1 Gxylt2
Mogs
Ost
Pgap1
(Piga : Pigc : Pigh : Pigp : Pigq : Dpm2)
(Pigm : Pigx) (Pigf : Pigg : Pigo)
(Gpaa1 : Pigk : Pigs : Pigt : Pigu)
Pigb Pign Pigl Pigv Pigw
Plod3
(Pomt1 : Pomt2)
Rft1
Slc3a2
}
{ERc | 
DOLP
PtdIns
}
{ERl | 
OProtein3 OProtein4a OProtein4b OProtein5 OProtein6 
OProtein NProtein KSProtein GPIProtein

*** OProtein3S
Adamtsl1 Adamts5 C6 C7 Dag1 Cfp Thbs1
*** OProtein4aS
Agrin F12 F7 F9 Plat Plau
*** OProtein4bS Adamtsl1 Adamts5 C6 Cfp
Adamts13 Thbs1
*** OProtein5S  F7 F9 
Proz
*** OProtein6S
Adipoq C1qa C1qc C1qtnf9 Col1a1 Col2a1 Col3a1 Col6a3 Col7a1 Col14a1
*** KSProteinS
Fibromodulin Keratocan Lumican

Glt25d1 Glt25d2
Pofut1 Pofut2 Poglut1
}
{GOm |
Abo
A4galt
B3galnt1 B3galnt2
B3galt1 B3galt2 B3galt4 B3galt5 B3galt6
B3gat3 
B3gnt1 B3gnt2 B3gnt3 B3gnt4 B3gnt5 B3gnt6 B3gnt7
B4galnt1 B4galnt3 B4galnt4
B4galt1 B4galt2 B4galt3 B4galt4 B4galt5 B4galt6 B4galt7
(C1galt1c1 : C1galt1)
Ceramide
Chpf Chpf2
Chsy1 Chsy3 
Chst1 Chst2 Chst4 Chst6 Chst7 Chst12 Chst13 Chst14 Chst15
Csgalnact1 Csgalnact2
Dse
Extl1 Extl2 Extl3 (Ext1 : Ext2)
Fut1 Fut2 Fut3 Fut4 Fut5 Fut6 Fut7 Fut8 Fut9
Galnt1 Galnt2 Galnt3 Galnt4 Galnt5 Galnt6 Galnt7 Galnt8 Galnt9 Galnt10
Galnt11 Galnt12 Galnt13 Galnt14 Galnt15 Galnt16 Galnt18 GalntL5 GalntL6 
Gbgt1
Gcnt1 Gcnt2 Gcnt3 Gcnt4
Glce
Hs2st1 Hs3st1 Hs3st2 Hs3st3a1 Hs3st3b1 Hs3st5 Hs6st1 Hs6st2 Hs6st3
Lfng Mfng Rfng
Man1a1 Man1a2 Man1b1 Man1c1
Man2a1 Man2a2 
Mgat1 Mgat2 Mgat3
Mgat4a Mgat4b Mgat4c 
Mgat5a Mgat5b
Ndst1 Ndst2 Ndst3 Ndst4
Nhg1 Nhg2 Nhg3 Nhg4 Nhg5 Nhg6 Nhg7 Nhg8 Nhg9 Nhg10 Nhg11 Nhg12
Pomgnt1
St6galnac1 St6galnac3 St6galnac4 St6galnac5 St6galnac6
St8sia1 St8sia5
St3gal1 St3gal2 St3gal3 St3gal4 St3gal5 St3gal6
St6gal1 St6gal2
Xylt1 Xylt2
Ugcg Ust
Wbscr17
}
{GOl | OProtein1 SProtein
*** SProteinS0
Bgn Cd164 Col9a2 Dcn Gpc4 Gpc5 Sdc3 Spock1 Spock2 Spock3 Srgn TgfbR3
*** SProteinS1
App Ambp Apoo Col12a1 Cspg4 Cspg5 CxcR4 Esm1 Nrp1 Hspg2 Prg2 Ptprz1 Sdc1 Tg Thbd
*** SProteinS2
Epiphycan
*** SProteinS3
Gpc1 Gpc2 Gpc3 Hspg2 Nrp1 Sdc1 Sdc2 Sdc4
}
{NUc | OProtein2 Ogt }

) .

endm
