/test.data/ruleCompressions/model/qualitative/~kappa012.test

http://github.com/kappamodeler/jkappa · Unknown · 27 lines · 24 code · 3 blank · 0 comment · 0 complexity · 7d7236a4b244365398b3eb174269a52c MD5 · raw file 

    

  1. 'B-catenin.APC-Axin-GSK3B complex{102655}' GSK3beta(axin!2,apc!3),APC(mod~p,axin!1,gsk!3,bcat),Axin(mod~p,apc!1,gsk!2),Beta-catenin(mod~u,apc,tcf) <-> GSK3beta(axin!3,apc!1),APC(mod~p,axin!2,gsk!1,bcat!4),Axin(mod~p,apc!2,gsk!3),Beta-catenin(mod~u,apc!4,tcf) 

    2. 

  2. 'APC, Axin@mod_u{102647}' GSK3beta(axin!1,apc!3),APC(mod~p,axin!2,gsk!3,bcat),Axin(mod~p,apc!2,gsk!1) -> GSK3beta(axin!2,apc!1),APC(mod~u,axin!3,gsk!1,bcat),Axin(mod~u,apc!3,gsk!2) 

    3. 

  3. 'Gsk3B.Apc,Axin{102622}' GSK3beta(axin,apc),APC(mod~u,axin!2,gsk,bcat),Axin(mod~u,apc!2,gsk) <-> GSK3beta(axin!3,apc!2),APC(mod~u,axin!1,gsk!2,bcat),Axin(mod~u,apc!1,gsk!3)

    4. 

  4. 'B-catenin release{102645}' GSK3beta(axin!3,apc!1),Beta-catenin(mod~p,apc!4,tcf),APC(mod~p,axin!2,gsk!1,bcat!4),Axin(mod~p,apc!2,gsk!3) -> GSK3beta(axin!1,apc!2),Beta-catenin(mod~p,apc,tcf),APC(mod~p,axin!3,gsk!2,bcat),Axin(mod~p,apc!3,gsk!1) 

    5. 

  5. 'GSK3beta release{102617}' GSK3beta(axin!2,apc!1),Dsh(act~a),APC(mod~u,axin!3,gsk!1,bcat),Axin(mod~u,apc!3,gsk!2) -> GSK3beta(axin,apc),Dsh(act~a),APC(mod~u,axin!1,gsk,bcat),Axin(mod~u,apc!1,gsk) 

    6. 

  6. 'APC, Axin@mod_p{102646}' GSK3beta(axin!1,apc!3),APC(mod~u,axin!2,gsk!3,bcat),Axin(mod~u,apc!2,gsk!1) -> GSK3beta(axin!2,apc!1),APC(mod~p,axin!3,gsk!1,bcat),Axin(mod~p,apc!3,gsk!2) 

    7. 

  7. 'Axin deg{102602}' Axin(apc,gsk,mod~u) -> 

    8. 

  8. 'Apc.Beta-catenin{102623}' APC(mod~u,axin,gsk,bcat),Beta-catenin(mod~u,apc,tcf) <-> APC(mod~u,axin,gsk,bcat!1),Beta-catenin(mod~u,apc!1,tcf) 

    9. 

  9. 'B.catenin create{102703}' -> Beta-catenin(mod~u,apc,tcf) 

    10. 

  10. 'Axin create{102612}' -> Axin(mod~u,apc,gsk) 

    11. 

  11. 'TCF.Beta-catenin, TCF...B-catenin{102624}' TCF(bcat),Beta-catenin(mod~u,apc,tcf) <-> TCF(bcat!1),Beta-catenin(mod~u,apc,tcf!1) 

    12. 

  12. 'B.catenin deg{102701}' Beta-catenin(tcf,apc,mod~u) -> 

    13. 

  13. 'B.catenin-phos deg{102699}' Beta-catenin(mod~p,apc,tcf) -> 

    14. 

  14. 'B-catenin@mod_p{102698}' GSK3beta(axin!2,apc!3),APC(mod~p,axin!1,gsk!3,bcat!4),Axin(mod~p,apc!1,gsk!2),Beta-catenin(mod~u,apc!4,tcf) -> GSK3beta(axin!3,apc!1),APC(mod~p,axin!2,gsk!1,bcat!4),Axin(mod~p,apc!2,gsk!3),Beta-catenin(mod~p,apc!4,tcf) 

    15. 

  15. 'Apc.Axin{100225}' Axin(mod~u,apc,gsk),APC(mod~u,axin,gsk,bcat) <-> Axin(mod~u,apc!1,gsk),APC(mod~u,axin!1,gsk,bcat) 

    16. 

  16. 'Dsh@act_i{100224}' Dsh(act~a) -> Dsh(act~i) 

    17. 

  17. 'Dsh@act_a{99647}' Dsh(act~i) -> Dsh(act~a)

    18. 

  18. 

    19. 

  19. 

    20. 

  20. 

    21. 

  21. %init: 1*(TCF(bcat))

    22. 

  22. %init: 1*(Beta-catenin(mod~u,apc,tcf))

    23. 

  23. %init: 1*(GSK3beta(apc,axin))

    24. 

  24. %init: 1*(Beta-catenin(apc,mod~u,tcf))

    25. 

  25. %init: 1*(Axin(mod~u,apc,gsk))

    26. 

  26. %init: 1*(Dsh(act~i))

    27. 

  27. #%init: APC(mod~u,axin,gsk,bcat)
    28.