Definition: The statement (s RSLT r) establishes a semantic connection between a situation s (typically an event) and its result r.