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

 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'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'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'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'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'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'Axin deg{102602}' Axin(apc,gsk,mod~u) -> 
 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'B.catenin create{102703}' -> Beta-catenin(mod~u,apc,tcf) 
10'Axin create{102612}' -> Axin(mod~u,apc,gsk) 
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'B.catenin deg{102701}' Beta-catenin(tcf,apc,mod~u) -> 
13'B.catenin-phos deg{102699}' Beta-catenin(mod~p,apc,tcf) -> 
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'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'Dsh@act_i{100224}' Dsh(act~a) -> Dsh(act~i) 
17'Dsh@act_a{99647}' Dsh(act~i) -> Dsh(act~a)
18
19
20
21%init: 1*(TCF(bcat))
22%init: 1*(Beta-catenin(mod~u,apc,tcf))
23%init: 1*(GSK3beta(apc,axin))
24%init: 1*(Beta-catenin(apc,mod~u,tcf))
25%init: 1*(Axin(mod~u,apc,gsk))
26%init: 1*(Dsh(act~i))
27#%init: APC(mod~u,axin,gsk,bcat)