fmod SIGNATUREOPS is inc THEOPS . 

op SpaABC-pilus : -> Signature .
op Sporulation : -> Signature .
op Sporulation-inhibition : -> Signature .
op SigmaF-activation : -> Signature .
op SigmaF-inhibition : -> Signature .

endfm