?- kif_to_boxlog(exists(P,parent(C,P))=> ~ exists(O,parent(C,O)&differnt(P,O)),VV),wdmsgl(VV).
% /mnt/gggg/logicmoo_workspace/pack/logicmoo_base/t/examples/fol/make_wff_01.pl:loading_file
% kif :-
%       all(C,  (exists(P, parent(C, P))=> ~exists(O, parent(C, O)&differnt(P, O)))).
% qualify_nesc :-
%       all(C,
%           (nesc(exists(P, parent(C, P)))=>nesc(~exists(O, parent(C, O)&differnt(P, O))))&(poss(exists(P, parent(C, P)))=>poss(~exists(O, parent(C, O)&differnt(P, O))))).
% ~parent(_2092, _2094) :-
%       parent(_2092, _2096),
%       differnt(_2094, _2096).
% poss(~differnt(_1328, _1330)) :-
%       poss(parent(_1332, _1328)),
%       parent(_1332, _1330).
% poss(~parent(_1322, _1324)) :-
%       poss(parent(_1322, _1326)),
%       poss(differnt(_1324, _1326)).
% poss(~parent(_1332, _1334)) :-
%       poss(parent(_1332, _1336)),
%       differnt(_1336, _1334).