mod QQ is
    inc ALLRULES .
    inc ALLOPS .
    inc MODEL-CHECKER .
***    inc ALLDISH .           *** ~/PLA/Models/STM/GDishes/allDish.maude
    inc GLYCOPROTEINDISH .  *** ~/PLA/Models/STM/GDishes/GlycoProteinDish.maude
    inc GLYCOLIPIDDISH .    *** ~/PLA/Models/STM/GDishes/GlycoLipidDish.maude

***********************************

op map00510-N-Glycan-biosynthesis : -> Dish .
eq map00510-N-Glycan-biosynthesis = PD(
{ERm |
Dolichol Dolk
Alg1 Alg2 Alg3 Alg6 Alg7 Alg8 Alg9 Alg10 Alg10b Alg11 Alg12 
(Alg13 : Alg14)
Ganab Mogs Ost }
{ERc | DOLP }
{ERl | NProtein }
{GOm | 
B4galt1 B4galt2 B4galt3 
Fut8 
Man1a1 Man1a2 Man1b1 Man1c1
Man2a1 Man2a2 
Mgat1 Mgat2 Mgat3
St6gal1 St6gal2
Mgat4a Mgat4b Mgat4c 
Mgat5a Mgat5b
}
{GOl | empty }) .

op map00512-Mucin-type-O-Glycan-biosynthesis : -> Dish .
eq map00512-Mucin-type-O-Glycan-biosynthesis = PD(
{GOm |
B3gnt6
B4galt5
(C1galt1c1 : C1galt1)
Galnt1 Galnt2 Galnt3 Galnt4 Galnt5 Galnt6 Galnt7 Galnt8 Galnt9 Galnt10
Galnt11 Galnt12 Galnt13 Galnt14 Galnt15 Galnt16 Galnt18 GalntL5 GalntL6 
Gcnt1 Gcnt3 Gcnt4
St3gal1 St3gal2
St6galnac1 
Wbscr17
}
{GOl | OProtein1 }) .

op map00514-Other-types-of-O-glycan-Biosynthesis : -> Dish .
eq map00514-Other-types-of-O-glycan-Biosynthesis = PD(
{ERl | OProtein3 OProtein4a OProtein4b OProtein5 OProtein6 
       B3galtl Glt25d1 Glt25d2 Pofut1 Pofut2 Poglut1 }
{ERm | (Pomt1 : Pomt2) Gxylt1 Gxylt2 Plod3 }
{GOl | empty }
{GOm | B4galt1 B4galt2 B4galt3 Lfng Mgat5b Mfng Pomgnt1 Rfng St3gal3 }
{NUc | OProtein2 Ogt }) .

op map00532-Glycosaminoglycan-biosynthesis-CS!DS : -> Dish .
eq map00532-Glycosaminoglycan-biosynthesis-CS!DS = PD(
{GOm |
B3galt6
B3gat3
B4galt7
Chst3 Chst7 Chst11 Chst12 Chst13 Chst14 Chst15
Chsy1 Chsy3 Chpf Chpf2 
Csgalnact1 Csgalnact2
Dse
Ust
Xylt1 Xylt2 }
{GOl | SProtein }) .

op map00534-Glycosaminoglycan-biosynthesis-heparan-sulfate!heparin : -> Dish .
eq map00534-Glycosaminoglycan-biosynthesis-heparan-sulfate!heparin = PD(
{GOm |
Xylt1 Xylt2
B3galt6
B3gat3
B4galt7
Extl1 Extl2 Extl3 (Ext1 : Ext2)
Ndst1 Ndst2 Ndst3 Ndst4
Glce
Hs2st1 Hs3st1 Hs3st2 Hs3st3a1 Hs3st3b1 Hs3st5 Hs6st1 Hs6st2 Hs6st3 }
{GOl | [SProtein - glyc(G157)] }) .

op map00533-Glycosaminoglycan-biosynthesis-keratan-sulfate : -> Dish .
eq map00533-Glycosaminoglycan-biosynthesis-keratan-sulfate = PD(
{GOm | 
B3gnt1 B3gnt2  B3gnt7
B4galt1 B4galt2 B4galt3 B4galt4 
Chst1 Chst2 Chst4 Chst6
Fut8
St3gal1 St3gal2 St3gal3 }
{GOl | [KSProtein - glyc(G15)] [OProtein1 - glyc(G25)] }) .

op map00563-Glycosylphosphatidylinositol-GPI-anchor-biosynthesis : -> Dish .
eq map00563-Glycosylphosphatidylinositol-GPI-anchor-biosynthesis = PD(
{ERm |
(Gpaa1 : Pigk : Pigs : Pigt : Pigu)
Pgap1
(Piga : Pigc : Pigh : Pigp : Pigq : Dpm2)
(Pigf : Pigg : Pigo)
(Pigm : Pigx)
Pigb Pigl Pign Pigv Pigw }
{ERc | PtdIns  }
{ERl | GPIProtein }) .

op map00603-Glycosphingolipid-biosynthesis-globo-series : -> Dish .
eq map00603-Glycosphingolipid-biosynthesis-globo-series = PD(
{GOm | [Ceramide - glyc(G92)]
A4galt
B3galt5 
B3galnt1
B4galt6
[Ceramide - glyc(G92)]
Fut1 Fut2 Fut9
Gbgt1
St8sia1
St3gal1 St3gal2
Ugcg
Nhg7 Nhg8 Nhg9
}
{GOl | empty }) .

op map00604-Glycosphingolipid-biosynthesis-ganglio-series : -> Dish .
eq map00604-Glycosphingolipid-biosynthesis-ganglio-series = PD(
{GOm | [Ceramide - glyc(G92)]
B4galnt1
B3galt4
B4galt6
St3gal1 St3gal2 St3gal5
St6galnac3 St6galnac4 St6galnac5 St6galnac6
St8sia1 St8sia5
Ugcg
Nhg10 Nhg11 Nhg12
}
{GOl | empty }) .

op map00601-Glycosphingolipid-biosynthesis-lacto-and-neolacto-series : -> Dish .
eq map00601-Glycosphingolipid-biosynthesis-lacto-and-neolacto-series = PD(
{GOm | [Ceramide - glyc(G92)]
Abo
B3galt1 B3galt2 B3galt5
B3gnt1 B3gnt2 B3gnt3 B3gnt4 B3gnt5
B4galt1 B4galt2 B4galt3 B4galt4 B4galt6
Fut1 Fut2 Fut3 Fut4 Fut5 Fut6 Fut7 Fut9
Gcnt2
Nhg1 Nhg2 Nhg3 Nhg4 Nhg5 Nhg6 
St3gal3 St3gal4 St3gal6
St8sia1
Ugcg 
}
{GOl | empty }) .



endm
