load ../../PLALib/PLACORE/theops
load Ops/modificationops
load Ops/locationops
load Ops/proteinops
load Ops/chemicalops
load Ops/geneops
**** load Ops/entityops
load ../../PLALib/PLACORE/dish-occs-nocell


******************************
fmod ALLOPS is
 inc THEOPS .
 inc DISH-OPS .
 inc MODIFICATIONOPS .
 inc LOCATIONOPS .
 inc PROTEINOPS .
 inc CHEMICALOPS .
 inc GENEOPS .
**** inc ENTITYOPS .
endfm
******************************
 load rules

******************************
mod ALLRULES is
 inc RULES .
endm
******************************
load model-checker
load qq.maude


