a, b, c: BOOLEAN;
% EXPECT: entailed
QUERY (a => b) <=> (NOT a OR b);