Doc: predict sets, modified the grammar for the unary logical not (!) operator