/* A sample wrong specification: 
   see the paper "Dynamic slicing of Reaction Systems 
   based on assertions and monitors" 
*/


/* deafult trivial definitions */
mybhml("([{mek} inP]false /\\ [-{mek} inP][{mek} inP]false /\\ [-{mek} inP][-{mek} inP][{mek} inP]false /\\ [-{mek} inP][-{mek} inP][-{mek} inP]<{mek} inP>true)").
%mybhml("true").
myassert("? inP").
advcontext(Ks) :- mycontext(Ks).
adventities(E) :- myentities(E).
advreactions(Rs) :- myreactions(Rs).
myexperiment([10],[]).
/* slicing defs */
mymonitor('[ ]').
mymondef('[ ]').

/* original initial set of entities */
myentities([ifngammah]).


/* vacuous context (using COUNTERS) 
*/
myenvironment("[x = {}.x ]").
mycontext("[<6,x>.nil]").

/* wrong reactions */
myreactions([
react([gata3],                 [stat1h,stat1m],         [il4]),
react([gata3],                 [tbeth,tbetm],           [gata3]),
react([ifnbeta],               [nil],                   [ifnbetar]),
react([ifnbetar],              [ifngammarh],            [stat1m]),
react([ifngammah],             [socs1],                 [ifngammarh]),
react([ifngammah,socs1],       [nil],                   [ifngammarm]),
react([ifngammam],             [nil],                   [ifngammarm]),
react([ifngammarh],            [nil],                   [stat1h]),
react([ifngammarm],            [nil],                   [stat1m]),
react([il12],                  [stat6],                 [il12r]),
react([il12r],                 [gata3],                 [stat4]),
react([il12r,il18r],           [gata3],                 [s4ir]),
react([il18],                  [stat6],                 [il18r]),
react([il18r],                 [nil],                   [irak]),
react([il4],                   [socs1],                 [il4r]),
react([il4r],                  [nil],                   [stat6]),
react([irak,stat4],            [nil],                   [ifngammah]),
react([socs1],                 [gata3],                 [tbeth]),
react([stat1h],                [nil],                   [socs1]),
react([stat1h],                [nil],                   [socs2]),
react([stat1m],                [gata3,stat1h,tbeth],    [tbetm]),
react([stat1m],                [nil],                   [socs1]),
react([stat4],                 [irak,s4ir,tbeth],       [ifngammam]),
react([stat4,tbetm],           [irak,tbeth],            [ifngammam]),
react([stat4,tbetm],           [s4ir],                  [ifngammam]),
react([stat6],                 [tbeth,tbetm],           [gata3]),
react([tbeth],                 [gata3],                 [tbeth]),
react([tbeth],                 [nil],                   [ifngammah]),
react([tbeth],                 [nil],                   [socs1]),
react([tbetm],                 [gata3,tbeth,stat1h],    [tbetm]),
react([tbetm],                 [irak,s4ir],             [ifngammam]),
react([tbetm],                 [nil],                   [socs1]),
react([tbetm],                 [s4ir,tbeth],            [ifngammam])
]).

/* correct reactions 
myreactions([
react([stat4],                 [irak,s4ir,tbeth],       [ifngammam]),
react([tbetm],                 [irak,s4ir],             [ifngammam]),
react([tbetm],                 [s4ir,tbeth],            [ifngammam]),
react([stat4,tbetm],           [s4ir],                  [ifngammam]),
react([stat4,tbetm],           [irak,tbeth],            [ifngammam]),
react([stat4,irak],            [nil],                      [ifngammah]),
react([tbeth],                 [nil],                      [ifngammah]),
react([gata3],                 [stat1h,stat1m],         [il4]),
react([ifngammam],             [nil],                      [ifngammarm]),
react([ifngammah,socs1],       [nil],                      [ifngammarm]),
react([ifngammah],             [socs1],                 [ifngammarh]),
react([il4],                   [socs1],                 [il4r]),
react([il12],                  [stat6],                 [il12r]),
react([il18],                  [stat6],                 [il18r]),
react([ifnbeta],               [nil],                      [ifnbetar]),
react([ifnbetar],              [ifngammarh],            [stat1m]),
react([ifngammarm],            [nil],                      [stat1m]),
react([ifngammarh],            [nil],                      [stat1h]),
react([il4r],                  [nil],                      [stat6]),
react([il12r],                 [gata3],                 [stat4]),
react([il18r],                 [nil],                      [irak]),
react([stat1h],                [nil],                      [socs1]),
react([stat1m],                [nil],                      [socs1]),
react([tbeth],                 [nil],                      [socs1]),
react([tbetm],                 [nil],                      [socs1]),
react([stat6],                 [tbeth,tbetm],           [gata3]),
react([gata3],                 [tbeth,tbetm],           [gata3]),
react([tbetm],                 [tbeth,gata3,stat1h],    [tbetm]), 
react([stat1m],                [tbeth,gata3,stat1h],    [tbetm]),
react([tbeth],                 [gata3],                 [tbeth]),
react([stat1h],                [gata3],                 [tbeth]),
react([il12r,il18r],           [gata3],                 [s4ir])
]).
*/

/* ============================================================= */