**** load load-stmtest-json


mod TEST-JKB is
  inc INTERACTIVE-PLA .
  inc PLA-JSON .  ****  inc MAUDE2JSON .

var b : Bool .
var es : ESet .

ops es0 es1 es2 es3 es4 es5u es5r es6 es7 : -> ESet [memo] .
eq es0 = initDishes(initPLAeset(mt,'maude, 'graphics2d, 'graphics2d),'QQQ) .


op modQQQ : -> Module .
eq modQQQ = upModule('QQQ,false) .

op rulesQQQ : -> RuleSet .
eq rulesQQQ = upRls('QQQ,true) .

var res?? : [ResultPair?] .

**** addEntry(es,'tval,'tkb kbname, pnotes, tm(modname,pntlT))
eq es1 = initDKBnet(es0,'RKB,'QQQ,'allDish) .

*** tkb2occmap(es,kbname) =
***      addEntry(es,'qval,'occmap kbname,onotes, ql(nil))

eq es2 = initOccMap(es1,'RKB) .

op omap : -> Notes .
eq omap = getNotes(es2,'qval, 'occmap 'RKB) .

op mypntl : -> TermList .
eq mypntl =
   pntlT2pntTL(tvalTerm(getVal(es2,'tval,'tkb 'RKB, tm('QQQ,'nil.PNTransList)))) .

op myEnotes : -> Notes .
eq myEnotes = 
(("15.Cbl.reloc.Yphos" := ql( '8662998)),
("1.EgfR.act" := ql( '12620237)),
("3.ErbB2.act" := ql( '8617201 '8665853 '11297548 '7903153))
) .
***(
(5.Grb2.reloc := ql( 2803273 7527043 7798267))
(7.IP3.from.PIP2.by.Plc := ql( ))
(9.PIP3.from.PIP2.by.Pi3k := ql( ))
(8.Pi3k.act := ql( 11353842 11695994 11779868))
(13.Sos1.reloc := ql( ))
(4.Gab1.Yphosed := ql( 11134009))
(11.Shc.Yphosed := ql(  9710588 8662998 8939605 9388490))
(14.Vav2.act := ql( 10618391 12454019))
(2.EgfR.ubiq := ql( 10531381))
(12.Sos1.reinit := ql( 11726515))
(10.Plcg.act := ql( 1537335))
(6.Hras.act.1 := ql( 11777939))
)
***(
 (("001.EgfR.irt.Egf"  := ql( '/Egf-Evidence/EgfR.irt.Egf.001.html)),
	("116.Gab1.irt.Egf"  := ql( '/Egf-Evidence/Gab1.irt.Egf.116.html)),
	("116x.Gab1.irt.Egf" := ql( '/Egf-Evidence/Gab1.irt.Egf.116.html)),
	("172.Pi3k.irt.Egf"  := ql( '/Egf-Evidence/Pi3k.irt.Egf.172.html)),
	("197.Sos1.irt.Egf"  := ql( '/Egf-Evidence/Sos1.irt.Egf.197.html)),
	("529.Hras.irt.Egf"  := ql( '/Egf-Evidence/Hras.irt.Egf.529.html)) ) .
	)

endm

***(
red locs2json('LOCATIONOPS) .
red mods2json('MODIFICATIONOPS) .
red entities2json('PROTEINOPS, 'CHEMICALOPS, 'GENEOPS) .

**** red prots2json(upOpDecls('PROTEINOPS,false),"","","","") .
**** red chems2json(upOpDecls('CHEMICALOPS,false),"") . 
**** red genes2json(upOpDecls('GENEOPS,false),"") .

red omap .

red occs2json(es2,'RKB) .

red rules2json1(myEnotes,mypntl,"")  .

*** red rules2json(es2,'MyKB) .


)
