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

A, B, C: BOOLEAN;

QUERY (A <=> B => C) <=> ((A <=> (B => C)));