mod QQ is
inc ALLRULES .
inc MODEL-CHECKER .
subsort Dish < State .
**************************************
*** op allDish : -> Dish .
*** eq allDish = TB-mycolic-acid .
op TB-mycolic-acid : -> Dish .
eq TB-mycolic-acid = PD(
**** [Cell | ---------------------------------
{CLm | 
arabinogalactan
FbpA
FbpB
FbpC
}
{CLc |  
AccA3
AccD3
AccD4
AccD5
AccD6
[CoA - acetyl] 
ACP 
activated-Ethionamide
ATP
CmaA2
acetyl-CoA
D-mannopyranosyl-1-phosphoheptaprenol
EchA10
EchA11
FabD
FabG1
FabH
FadD32
Fas
H+ 
HadA 
HadB
HadC
InhA
IpqX
Isoniazid
KasA
KasB
KatG
MmaA1 
MmaA2
MmaA3
MmaA4
Mn2+
NADH
NADPH
Nat
OtsB1
PcaA
Pks13-C-PPB
Pks13-KS
Pks13-N-PPB
Rv0098
Rv0161
Rv1273c
Rv1288
Rv2509
Rv3802c
Rv3400
trehalose-6-phosphate
}
*** ]
) .

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