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