*********1*********2*********3*********4*********5*********6*********7****
***
***  PdgfRules.maude
***
**************************************************************************
mod PDGFRULES is inc ALLOPS .

var xout : Soup .
vars clo clm clr 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 ct ptc sig : Soup .
var pdgfrc : Soup .
*** var AnyLoc : LocName .
*** var anyloc : Soup .

  *** ~/evidence/PdgfR-Evidence/00PdgfR-evidence.txt

rl[1077.PdgfR.irt.Pdgf]:
  {XOut   | xout   Pdgf                    }
  {PdgfRC | pdgfrc PdgfR                   }
  =>
  {XOut   | xout                           }
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) } .
  --------------------------------------------
  *** ~/evidence/PdgfR-Evidence/PdgfR.irt.Pdgf.1077.txt

*** Akt1--

rl[1078.Akt1.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf)      }
  {CLc    | clc     Mapkap1 Rictor  Akt1        }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf)      }
  {CLc    | clc     Mapkap1 Rictor [Akt1 - act] } .
  -------------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Akt1.irt.Pdgf.1078.txt

*** Braf--

rl[1080.Braf.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf)   }
  {CLc    | clc     IqGap Pin1  Braf         }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf)   }
  {CLc    | clc     IqGap Pin1 [Braf - act]  } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Braf.irt.Pdgf.1080.txt

*** Eps8--

rl[1086.Eps8.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc     Eps8                   }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Eps8 - Yphos]          } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Eps8.irt.Pdgf.1086.txt

*** Erks--

rl[1087.Erks.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc     Erks                   }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Erks - act]            } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Erks.irt.Pdgf.1087.txt

*** Fer--

rl[1088.Fer.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc     Fer                    }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Fer - Yphos]           } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Fer.irt.Pdgf.1088.txt

*** Fos--

rl[1089.Fos.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {NUc    | nuc     Fos                    }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {NUc    | nuc    [Fos - act]             } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Fos.irt.Pdgf.1089.txt

*** Fos-gene--

rl[1093.Fos-gene.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {NUc    | nuc     Fos-gene               }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {NUc    | nuc    [Fos-gene - on]         } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Fos-gene.irt.Pdgf.1093.txt

*** Gab1--

rl[1095.Gab1.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc     Gab1                   }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Gab1 - Yphos]          } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Gab1.irt.Pdgf.1095.txt

*** Gsk3s--

rl[011.Gsk3s.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc   [Gsk3s - act]            }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc   [Gsk3s - phos(SFAE)]     } .
  -----------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Gsk3s.irt.Pdgf.011.txt

*** Hras--

rl[1098.Hras.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Hras - GDP]            }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Hras - GTP]            } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Hras.irt.Pdgf.1098.txt

*** Lkb1--

rl[1099.Lkb1.irt.Pdgf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc     Lkb1                   }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Lkb1 - phos]           } .
  ---------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Lkb1.irt.Pdgf.1099.txt

*** Raf1--

rl[409.Gsk3s.irt.Egf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc     Raf1                   }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf) }
  {CLc    | clc    [Raf1- act]             } .
  -----------------------------------------------
  *** ~/evidence/PdgfR-Evidence/Raf1.irt.Pdgf.409.txt



*** Rps6--

rl[008.Rps6.irt.Egf]:
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf)       }
  {CLc   | clc   Rps6                            }
  =>
  {PdgfRC | pdgfrc (PdgfR - Yphos] : Pdgf)       }
  {CLc   | clc   [Rps6 - phos(S 235)phos(S 236)] } .
  ------------------------------------------------------------------------
  *** ~/evidence/Egf-Evidence/Rps6.irt.Pdgf.008.txt































endm
