fmod MODIFICATIONOPS is
     inc MODIFICATION .

  op act : -> ACT [ctor 
                   metadata "((abbrev +) (description \"activated\"))"] .
  op on : -> ACT [ctor
           metadata "((abbrev on) (description \"gene transcription on\"))"] .

  op off : -> ACT [ctor
           metadata "((abbrev off) (description \"gene transcription off\"))"] .

  op inhib : -> ACT [ctor
           metadata "((abbrev off) (description \"inhibited\"))"] .

  op mature : -> FRAG [ctor
           metadata "((abbrev off) (description \"mature\"))"] .

  op cleaved : -> FRAG 
     [ctor metadata "((abbrev !) (description \"cleaved by a protease\"))"] .

  op degraded : -> OTHER 
      [ctor metadata "((abbrev deg) (description \"return to AAs\"))"] .

  op bound : -> OTHER 
      [ctor metadata "((abbrev bnd) (description \"bound\"))"] .

  op anchored : -> OTHER 
      [ctor metadata "((abbrev bnd) (description \"anchored\"))"] .

  op reloc : -> OTHER 
      [ctor metadata "((abbrev rel) (description \"location change\"))"] .

  op acetyl : -> AAMOD [ctor metadata "(\
   (abbrev ac)\
   (db MOD)\
   (id 00394)\
   (term \"acetylated residue\"))"] . 
  op acetyl : Site -> AAMOD [ctor] . 

  op methyl : -> AAMOD [ctor metadata "(\
   (abbrev met)\
   (db MOD)\
   (id 00427)\
   (term \"methylated residue \"))"] . 
  op nedd : -> AAMOD [ctor metadata "(\
   (abbrev ne)\
   (db MOD)\
   (id 01150)\
   (term \"neddylated residue\"))"] . 
  op phos : -> AAMOD [ctor metadata "(\
   (abbrev p)\
   (db MOD)\
   (id 00696)\
   (term \"phosphorylated residue\"))"] . 
  op Yphos : -> AAMOD [ctor metadata "(\
   (abbrev Yp)\
   (db MOD)\
   (id 00048)\
   (term \"O4'-phosphorylated L-tyrosine\"))"] . 
  op Sphos : -> AAMOD [ctor metadata "(\
   (abbrev Sp)\
   (db MOD)\
   (id 00046)\
   (term \"O-phospho L-serine\"))"] . 
  op Tphos : -> AAMOD [ctor metadata "(\
   (abbrev Tp)\
   (db MOD)\
   (id 00047)\
   (term \"O-phospho L-threonine\"))"] . 
  op sumo : -> AAMOD [ctor metadata "(\
   (abbrev su)\
   (db MOD)\
   (id 01149)\
   (term \"sumoylated on lysine\"))"] . 
  op ubiq : -> AAMOD [ctor metadata "(\
   (abbrev ub)\
   (db MOD)\
   (id 01148)\
   (term \"ubiquitinylated on lysine\"))"] . 

  op GDP : -> SMBIND [ctor metadata "(\
   (abbrev GDP)\
   (db CHEBI)\
   (id 17552)\
   (term \"Guanosine 5'-diphosphate\"))"] .
  op GTP : -> SMBIND [ctor metadata "(\
   (abbrev GTP)\
   (db CHEBI)\
   (id 15996)\
   (term \"Guanosine 5'-triphosphate\"))"] .

   op __ : AminoAcid Nat -> Site .
   op phos : Site  -> Modification .

endfm
