% EXPECT: entailed
% Simple test for right precedence of XOR and AND.

A, B, C: BOOLEAN;

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