In SLIPCOVER you can apply just parameter learning with EMBLEM without specifying mode declarations.
The reason why it complains is because you have to include the setting
:- set_sc(neg_ex,given).
otherwise, with the default value of cw, it generates negative examples automatically using the closed world assumption and mode declarations. With given, it assumes the negative examples are given in the interpretatations using neg/1.