Dynamic and stative interpretations, changes of state, resulting conditions, and property expressions.