mod ALLDISH is 
    inc ALLOPS .
    inc CLMCONTENTS . *** ~/PLA/Models/STM/SDishes/Contents/CLmContents.maude
    inc CLICONTENTS . *** ~/PLA/Models/STM/SDishes/Contents/CLiContents.maude
    inc CLCCONTENTS . *** ~/PLA/Models/STM/SDishes/Contents/CLcContents.maude
    inc NUCCONTENTS . *** ~/PLA/Models/STM/SDishes/Contents/NUcContents.maude


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

{XOut |
Egf
Lbp
Lps
Md2
Tgfb1 
Tnf

}{EgfRC | EgfR
}{Tgfb1RC | TgfbR1 TgfbR2   
}{TLR2C | TLR2
}{TLR4C | TLR4
}{TnfR1C | TnfR1
}{CVc | [Rheb - GDP]

}{CLo   | Cd14
}{CLm | CLmContents 
}{CLi | CLiContents
}{CLc | CLcContents
}{NUc | NUcContents
}) .

endm
