***
***  qq.maude
***  06-02-2004
***  Maude Alpha 84 IOP4
***  webdemo2
***  
*************************
mod QQ is
    inc ALLBP .
    inc MODEL-CHECKER .	

subsort Dish < State .
op qt : -> Dish . 

eq qt = 
*************************
PD(               *** out

Chx
TNFa
*************************
{CM  |            *** cm-

(TNFR1 : Bag4)
Ros
************************* 
{                *** cyto

(Ask1 : [Trx - red])
Casp2
Casp3
Casp6
Casp7
Casp8
Cradd
Cdc37
Fadd 
Flip
Hsp90a
Iap1
Ikba
IKK
Jnk1
Mekk3
Mkk3
Mkk4
Nfkb
Nik
PI3K
PKCz
Rip
Tradd
Traf2
Xiap
Zip
*************************
{NM  | empty{ empty  
}}}} ) .
*************************
*************************
endm