4
(event(P), {functor_skel(P,Skel)})