CreateQuery constraint_test_transitivity2 (children 3) Identifier constraint_test_transitivity2 Columns definition (children 2) ExpressionList (children 4) ColumnDeclaration a (children 1) DataType String ColumnDeclaration b (children 1) DataType String ColumnDeclaration c (children 1) DataType String ColumnDeclaration d (children 1) DataType String ExpressionList (children 1) Constraint (children 1) Function and (children 1) ExpressionList (children 4) Function greater (children 1) ExpressionList (children 2) Identifier a Identifier b Function greaterOrEquals (children 1) ExpressionList (children 2) Identifier b Identifier c Function greater (children 1) ExpressionList (children 2) Identifier c Identifier d Function greaterOrEquals (children 1) ExpressionList (children 2) Identifier a Identifier d Storage definition (children 1) Function TinyLog