1 2 3 4 5 6
% EXPECT: valid % Simple test for right associativity of <=> A, B, C: BOOLEAN; QUERY (A <=> B <=> C) <=> (A <=> (B <=> C));