:-dynamic(model/1).
:-dynamic(modelname/1).
:-dynamic(m1/1).
:-dynamic(r/2).
:-dynamic(int/1).




m(X):-m1(X=_).
m1('M_MKKK'='90').
m1('M_MKKK_P'='10').
m1('M_MKK'='280').
m1('M_MKK_P'='10').
m1('M_MKK_PP'='10').
m1('M_MAPK'='280').
m1('M_MAPK_P'='10').
m1('M_MAPK_PP'='10').

r('R_a_1',['M_MAPK_PP < 1]).
r(': 'M_MKKK_P'+1 , 'M_MKKK'-1   R_a_2]).
r(': 'M_MKKK'+1 , 'M_MKKK_P'-1   R_b_1]).
r(': 'M_MKKK_P'+1 , 'M_MKK_P'+1 , 'M_MKKK_P'-1 , 'M_MKK'-1   R_b_2]).
r(': 'M_MKKK_P'+1 , 'M_MKK_PP'+1 , 'M_MKKK_P'-1 , 'M_MKK_P'-1   R_b_4]).
r(': 'M_MKK'+1 , 'M_MKK_P'-1   R_b_3]).
r(': 'M_MKK_P'+1 , 'M_MKK_PP'-1   R_c_1]).
r(': 'M_MKK_PP'+1 , 'M_MAPK_P'+1 , 'M_MKK_PP'-1 , 'M_MAPK'-1   R_c_2]).
r(': 'M_MKK_PP'+1 , 'M_MAPK_PP'+1 , 'M_MKK_PP'-1 , 'M_MAPK_P'-1   R_c_4]).
r(': 'M_MAPK'+1 , 'M_MAPK_P'-1   R_c_3]).
r(': 'M_MAPK_P'+1 , 'M_MAPK_PP'-1 ]).
