4
(
event
(
P
)
,
{functor_skel(P,Skel)}
)
==>
executable
(
Skel
)