mod TESTRULES is inc ALLOPS .

var xout : Soup .
vars clo clm lrm cli clc nuo num nui nuc : Soup .
vars moo mom moi moc mio mim mii mic : Soup .
vars ero erm eri erc pxo pxm pxi pxc : Soup .
vars gao gam gai gac lyo lym lyi lyc : Soup .
vars eeo eem eei eec leo lem lei lec : Soup .
vars cpo cpm cpi cpc ptc sig : Soup .
vars avo avm avi avc : Soup .
vars il2rc gp130c il12rb1 il12rb2 cd40c : Soup .
vars dnac rnac tak1c pxnc axinc : Soup .

var AnyComp : CompName .
var anycomp : Soup .
var AnyLoc : LocName .
var anyloc : Soup .

*** Apc--

rl[1344c.Apc.to.AxinC]:
  {CLc   | clc   Apc       }
  {AxinC | axinc Axin1     }
  =>
  {CLc   | clc             }
  {AxinC | axinc Axin1 Apc } .
  -----------------------------
  *** ~/evidence/Common-Rule-Evidence/Apc.to.AxinC.1344c.txt

rl[1351c.Apc.by.Csnk1e.Gsk3b]:
  {AxinC | axinc Axin1 [Csnk1e - act] [Gsk3b - act]  Apc         }
  =>
  {AxinC | axinc Axin1 [Csnk1e - act] [Gsk3b - act] [Apc - phos] } .
  ------------------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Apc.by.Csnk1e.Gsk3b.1351c.txt

*** Btrc--  ~/evidence/Protein-characteristics/Btrc.txt

rl[1343c.Btrc.to.AxinC]:
  {CLc   | clc   Btrc       }
  {AxinC | axinc Axin1      }
  =>
  {CLc   | clc              }
  {AxinC | axinc Axin1 Btrc } .
  -----------------------------
  *** ~/evidence/Common-Rule-Evidence/Btrc.to.AxinC.1343c.txt

*** Ctnnb1--

rl[1342c.Ctnnb1.to.AxinC]:
  {CLc   | clc   Ctnnb1                  }
  {AxinC | axinc axins:AxinS Btrc        }
  =>
  {CLc   | clc                           }
  {AxinC | axinc axins:AxinS Btrc Ctnnb1 } .
  --------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.to.AxinC.1342c.txt

rl[1345c.Ctnnb1.by.Csnk1d]:
  {AnyComp | anycomp [Csnk1d - act]  Ctnnb1               }
  =>
  {AnyComp | anycomp [Csnk1d - act] [Ctnnb1 - phos(S 45)] } .
  -----------------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.by.Csnk1d.1345c.txt

rl[1349c.Ctnnb1.by.Csnk1e]:
  {AxinC | axinc Axin1 [Csnk1e - act]  Ctnnb1               }
  =>
  {AxinC | axinc Axin1 [Csnk1e - act] [Ctnnb1 - phos(S 45)] } .
  -----------------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.by.Csnk1e.1349c.txt

rl[1340c.Ctnnb1.by.Gsk3b]:
  {AxinC | axinc Axin1 [Gsk3b - act] [Ctnnb1 - phos(S 45)]                       }
  =>
  {AxinC | axinc Axin1 [Gsk3b - act] [Ctnnb1 - phos(S 33) phos(T 41) phos(S 45)] } .
  ---------------------------------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.by.Gsk3b.1340c.txt

rl[1350c.Ctnnb1.degraded]:
  {AxinC | axinc Axin1 [Gsk3b - act]  
                       [Ctnnb1 - phos(S 33) phos(T 41) phos(S 45)] }
  {Sig   | sig                                                     }
  =>
  {AxinC | axinc Axin1 [Gsk3b - act]                               }
  {Sig   | sig         CTNNB1-DEGRADED                             } .
  --------------------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.degraded.1350c.txt

rl[595c.Ctnnb1.by.Fer]:
  {AnyComp | anycomp [Fer - act]  Ctnnb1          }
  =>
  {AnyComp | anycomp [Fer - act] [Ctnnb1 - Yphos] } .
  -----------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.by.Fer.595c.txt

rl[601c.Ctnnb1.by.Src]:
  {AnyComp | anycomp [Src - act]  Ctnnb1          }
  =>
  {AnyComp | anycomp [Src - act] [Ctnnb1 - Yphos] } .
  -----------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.by.Fer.601c.txt

rl[603c.Ctnnb1.by.Yes1]:
  {AnyComp | anycomp [Yes1 - act]  Ctnnb1          }
  =>
  {AnyComp | anycomp [Yes1 - act] [Ctnnb1 - Yphos] } .
  -----------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ctnnb1.by.Yes1.603c.txt

*** Csnk1e--

rl[1347.Csnk1e.to.AxinC]:
  {CLc   | clc   Csnk1e       }
  {AxinC | axinc Axin1        }
  =>
  {CLc   | clc                }
  {AxinC | axinc Axin1 Csnk1e } .
  -------------------------------
  *** ~/evidence/Common-Rule-Evidence/Csnk1e.to.AxinC.1347c.txt

rl[1346c.Csnk1e.itpo.Ppm1a]:
  {AnyComp | anycomp Ppm1a  Csnk1e        }
  =>
  {AnyComp | anycomp Ppm1a [Csnk1e - act] } .
  -----------------------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Csnk1e.itpo.Ppm1a.1346c.txt

*** Gsk3b--

rl[1341c.Gsk3b.to.AxinC]:
  {CLc   | clc   [Gsk3b - act]             }
  {AxinC | axinc axins:AxinS               }
  =>
  {CLc   | clc                             }
  {AxinC | axinc axins:AxinS [Gsk3b - act] } .
  --------------------------------------------
  *** ~/evidence/Common-Rule-Evidence/Gsk3b.to.AxinC.1341c.txt

*** Ppm1a--

rl[1348.Ppm1a.to.AxinC]:
  {CLc   | clc   Ppm1a       }
  {AxinC | axinc Axin1       }
  =>
  {CLc   | clc               }
  {AxinC | axinc Axin1 Ppm1a } .
  -------------------------------
  *** ~/evidence/Common-Rule-Evidence/Ppm1a.to.AxinC.1348c.txt




endm
