---

es-r-pred{i:l}(es;d) ==
  fst((TERMOF{causal-pred-from-relation:o, 1:l, i:l} es d))

---

Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions :  pi1: fst(t),  apply: f a,  causal-pred-from-relation
FDL editor aliases :  es-r-pred

---

es-r-pred\{i:l\}(es;d)  ==    fst((TERMOF\{causal-pred-from-relation:o,  1:l,  i:l\}  es  d))


Date html generated: 2011_08_16-AM-11_13_00
Last ObjectModification: 2010_11_11-PM-12_00_27

Home Index