% EXPECT: valid
% Simple test for right precedence of <=> and =>.

A, B, C: BOOLEAN;

QUERY (A => B <=> C) <=> ((A => B) <=> C);
% EXIT: 20