Axiomas EC InitiallyP(f)  Clipped(0,f,t) Happens(a,t1,t2) 
{"Image DocumentName": "Axiomas EC InitiallyP(f) \uf0d9 \uf0d8Clipped(0,f,t) Happens(a,t1,t2) \uf0d9", "Image ImageDescription": "(EC1) HoldsAt(f,t) \uf0ac InitiallyP(f) \uf0d9 \uf0d8Clipped(0,f,t) (EC2) HoldsAt(f,t) \uf0ac Happens(a,t1,t2) \uf0d9 Initiates(a,f,t1) \uf0d9 t2\uf03ct \uf0d9 \uf0d8Clipped(t1,f,t)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}