mod QQ is
inc ALLRULES .
inc MODEL-CHECKER .

**************************************
subsort Dish < State .


*** op allDish : -> Dish .
*** eq allDish = Protease-network .

op Protease-network : -> Dish .
eq Protease-network = PD(
*** [Cell | ---------------------------------
{CLw | 
IsdA IsdB IsdH IsdC LytE LytF SpaA SpaB SpaC
}
{CLc |
Abh-gene AbrB AbrB-gene AprE-gene Bpr-gene CodW CodX ComA ComS ComK-gene CtpB CtsR ClpE ClpC-gene ClpP-gene ClpX ClpX-gene [SpoIIAA - phos]   

*** CiaRH  *** amk

CiaR  *** amk

DegS DegU Epr-gene FtsA FtsZ FosB-gene FtsH-gene GlmS Hpr HtrA-gene IsdG IsdI IlvB KinA KinC KinD KinE KipI KipA LonA LonB-gene Lsp-gene MecA McsA McsB MurAA Mpr-gene NprE-gene NprB-gene PhrF PurF PyrB PhrE PhrG pbpE-gene Parks-nucleotide RapB RapE RapG RapA RapA-gene RapC-gene RapD-gene RapF RapF-gene RopB RghR RsbS RsbT RsbU RsbV RsbW  
*** SepF  *** amk 
YlmF  *** amk
SigmaA SigmaB  SigmaG SigmaW SigmaH SigmaX Spx Spo0B Spo0E-gene  Spo0F-gene  [Spo0F-gene - on]  SinR SipT-gene SipS-gene SipV-gene SigmaF-gene SpoIIAA-gene SpoIVB SpoIIAB-gene SpoIIE-gene SpeB-gene SpoJ-gene Spo0A-gene SrfA-gene UDP-GlcNAc Vpr-gene WprA-gene YlmF YwlE YjbH YpbH YwbN-gene ZapA
}
{XOut |
Heme PhrA CSF StreptolysinS
}
{CLm |
BofA EzrA FtsL IsdE IsdD IsdF KinB Lsp MraY MurG AmyQ PrsA SigmaK PrsW RsiW RasP SrtA SrtB SrtF SecY SpoIVFA SpoIVFB Undecaprenyl-phosphate 
}
**** ]
) .







**************************************
endm
**************************************
