***
***  assayx.maude
*** extra assay ops for search
*************************************************************************

fmod ASSAYX is inc ASSAYS .

**** sorts ActivationAssay  LocationAssay .

  op IVKA  : -> ActivationAssay [ctor] .
  op IVLKA : -> ActivationAssay [ctor] .
  op IVGefA : -> ActivationAssay [ctor] .
  op IVHatAct : -> ActivationAssay [ctor] .
  op oligo-binding : -> ActivationAssay [ctor] .
  op IVPPaseAct : -> ActivationAssay [ctor] .
  op IVProteaseAct : -> ActivationAssay [ctor] .


  op locatedin : -> LocationAssay [ctor] .
  op infraction : -> LocationAssay [ctor] .
  op boundto : -> LocationAssay [ctor] .

	
endfm	
