mod RULES is inc ALLOPS .

  var xout : Soup .
  vars clm cli clc clo nuc nui nuo num : Soup .


rl[172.Pi3k.irt.Egf]:
{ CLc |  clc Pi3k }
{ CLi |  cli }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLc |  clc }
{ CLi |  cli Pi3k }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  [metadata "((hidden (pre GDP-LFuc) (post GDP)))"] .



rl[001.EgfR.irt.Egf]:
{ XOut |  xout Egf }
{ CLm |  clm EgfR }
  =>
{ XOut |  xout }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  [metadata "((evidence \"Egf-Evidence/001.EgfR.irt.Egf.html\"))"] .


rl[529.Hras.irt.Egf]:
{ CLi |  cli [Hras -  GDP] [Gabs -  Yphos] [Sos1 -  act] Pi3k }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLi |  cli [Hras -  GTP] [Gabs -  Yphos] [Sos1 -  act] Pi3k }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
 .


rl[116.Gab1.irt.Egf]:
{ CLc |  clc Gabs }
{ CLi |  cli }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLc |  clc }
{ CLi |  cli [Gabs -  Yphos] }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
 .

rl[116x.Gab1.irt.Egf]:
{ CLc |  clc Gabs }
{ CLi |  cli }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLc |  clc }
{ CLi |  cli [Gabs -  phos(Y 123)] }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
 .


rl[197.Sos1.irt.Egf]:
{ CLc |  clc Sos1 }
{ CLi |  cli }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLc |  clc }
{ CLi |  cli [Sos1 -  act] }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
 .

***(
**** fake rule testing duplicate rid check
rl[197.Sos1.irt.Egf]:
{ CLc |  clc Sos1 }
{ CLi |  cli }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLc |  clc }
{ CLi |  cli [Sos1 -  Yphos] }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
 .

**** fake rule to test unreachability
rl[116y.Gab1.irt.Egf]:
{ CLc |  clc Gab1 }
{ CLi |  cli }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
  =>
{ CLc |  clc }
{ CLi |  cli [Gab1 -  Yphos] }
{ CLm |  clm  Egf : [EgfR -  Yphos] }
 .
)

endm
