% EXPECT: entailed
a:BOOLEAN;
b:BOOLEAN;
ASSERT(a);
QUERY(a OR b);