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