Semantics of TimeML Text
{"Image DocumentName": "Semantics of TimeML Text", "Image ImageDescription": "Let T be a TimeML Text, Dome(T) = the set of event ids in T. Domt(T) = the set of time ids in T. Domei(T) = the set of event instance ids in T. Tag(T) = the set of all tags in T. A text T is satisfied by a model M iff there are functions (that assign denotations to identifier variables) fe: Dome (T) -> Pow(E), and. fei: Domei (T) -> E. ft: Domt (T) -> I , such that. for all tags t \uf0ceTag(T), t is satisfied by fe fei and ft in M.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}