Section 8.2.5 only applies for join conditions. As I understand it, are transition conditions ordinary boolean expressions, with access to all variables and functions. If so, should the transitionCondition element declaration not have been of type tBoolean-expr in the schema? It is of type tCondition, the type used for joinCondition.

Thanks.