class-loc-bound{i:l}(Info;T;X;L) ==
es:EO+(Info). v:T. e:E. (v 
X(e) 
bag-member(Id;loc(e);L))
Definitions occuring in Statement :
classrel: v X(e),
event-ordering+: EO+(Info),
es-loc: loc(e),
es-E: E,
Id: Id,
all: x:A. B[x],
implies: P Q,
bag-member: bag-member(T;x;bs)
FDL editor aliases :
class-loc-bound
class-loc-bound\{i:l\}(Info;T;X;L) ==
\mforall{}es:EO+(Info). \mforall{}v:T. \mforall{}e:E. (v \mmember{} X(e) {}\mRightarrow{} bag-member(Id;loc(e);L))
Date html generated:
2011_08_16-AM-11_29_49
Last ObjectModification:
2011_06_30-PM-12_19_11
Home
Index