An event e can also refer to a state, where a logical expression is being evaluated over a set of property:value pairs.
we call such an event a condition, and specify the set of possible conditions as follows: e = exp, {l : p : v} k i=0 , temp, exe is a condition to be evaluated, where , temp ∈ {hot, cold} and exe ∈ {executed, monitored} are as specified above.