/test.data/new_parser/compare/stories.test

http://github.com/kappamodeler/jkappa · Unknown · 35 lines · 33 code · 2 blank · 0 comment · 0 complexity · 8294111bd379d3846652ac65e7e5c2c0 MD5 · raw file 

    

  1. 'time' E(r?),R(l,r)->E(r!0),R(l!0,r)

    2. 

  2. 'time2' E(r!0),R(l!0,r),E(r!1),R(l!1,r)->E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)

    3. 

  3. 'namenamename' E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)->E(r!0),R(l!0,r),E(r!1),R(l!1,r)

    4. 

  4. 'space' E(r!0),E(r!0),R(l!1,r),R(l!1,r)->E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)

    5. 

  5. 'tab' E(r!_),R(l,r)->E(r!0),R(l!0,r)

    6. 

  6. 'rule' E(r),R(l,r)->E(r!0),R(l,r!0)

    7. 

  7. 'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa' E(r~u),R(r~p)->E(r!0),R(r!0)

    8. 

  8. 'TABline' E(x!0),R(x!0)->E(x~p),R(a,b,c,d,e,x)

    9. 

  9. 'q Ref1' L(p!0,q),R(a,b!0)->L(p!0,q!1),R(a!1,b!0)

    10. 

  10. 'q Ref1_op' L(p!0,q!1),R(a!1,b!0)->L(p!0,q),R(a,b!0)

    11. 

  11. 'q Ref2' L(l!0,q),R(a,b!0)->L(l!0,q!1),R(a!1,b!0)

    12. 

  12. 'q Ref2_op' L(l!0,q!1),R(a!1,b!0)->L(l!0,q),R(a,b!0)

    13. 

  13. 'MEK_Scaf#1' MEK(S1~u,S2,s),Scaf(m)->MEK(S1~u,S2,s!0),Scaf(m!0)

    14. 

  14. 'MEK_Scaf#2' MEK(S1,S2~u,s),Scaf(m)->MEK(S1,S2~u,s!0),Scaf(m!0)

    15. 

  15. 'ErbB1_ErbB4' ErbB1(C,CR,L~ext,N),ErbB4(C,CR,L~ext!_,N)->ErbB1(C,CR!0,L~ext,N),ErbB4(C,CR!0,L~ext!_,N)

    16. 

  16. 'ErbB1_ErbB4_op' ErbB1(C,CR!0,L~ext,N),ErbB4(C,CR!0,L~ext!_,N)->ErbB1(C,CR,L~ext,N),ErbB4(C,CR,L~ext!_,N)

    17. 

  17. 'MEK_ERK@185' ERK(T185~u),MEK(S218~p,S222~p,s)->ERK(T185~u!0),MEK(S218~p,S222~p,s!0)

    18. 

  18. 'MEK_ERK@185_op' ERK(T185~u!0),MEK(S218~p,S222~p,s!0)->ERK(T185~u),MEK(S218~p,S222~p,s)

    19. 

  19. 'ERK@185' ERK(T185~u!0),MEK(S218~p,S222~p,s!0)->ERK(T185~p!0),MEK(S218~p,S222~p,s!0)

    20. 

  20. 'MEK_ERK@187' ERK(Y187~u),MEK(S218~p,S222~p,s)->ERK(Y187~u!0),MEK(S218~p,S222~p,s!0)

    21. 

  21. 'MEK_ERK@187_op' ERK(Y187~u!0),MEK(S218~p,S222~p,s!0)->ERK(Y187~u),MEK(S218~p,S222~p,s)

    22. 

  22. 'ERK@187' ERK(Y187~u!0),MEK(S218~p,S222~p,s!0)->ERK(Y187~p!0),MEK(S218~p,S222~p,s!0)

    23. 

  23. 

    24. 

  24. %init: 5000 * (E(r))

    25. 

  25. %init: 1 * (ERK(Y187!0), MEK(S218~p, S222~p, s!0))

    26. 

  26. %init: 5000 * (R(l, r))

    27. 

  27. %init: 100 * (a(x))

    28. 

  28. %init: 100 * (b(x))

    29. 

  29. %init: 1000 * (d(x, y))

    30. 

  30. 

    31. 

  31. %story: 'MEK_ERK@187_op'

    32. 

  32. %story: 'TABline'

    33. 

  33. %story: 'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'

    34. 

  34. %story: 'time'

    35. 

  35. %story: 'time2'
    36.