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

A, B: BOOLEAN;

QUERY (A AND NOT B) <=> (A AND (NOT B));