1 2 3 4 5 6
% EXPECT: entailed % Simple test for right precedence of => and OR. A, B, C: BOOLEAN; QUERY (A OR B => C) <=> ((A OR B) => C);